[Eva] Relaxes the check of builtin types for void pointers.

When a builtin expects a void pointer (as argument or result), any pointer type
is accepted.
This allows allocation builtins to be used for more functions.