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 (closed)