Better error messages for emulated FFI calls

Now, when they get an argument not in normal form, they say that this is the problem and suggest a solution.