normalised arguments and types for native code

Fixes #1