Refactor slightly BuiltinFunctionEmbedder and check types

Now the arguments and return values types are checked at
construction. One checks if the C++ type corresponds to a pugs type.

Closes #29