Improve the @runtimeMethod decorator to enforce arguments to be provable types

Improve the @runtimeMethod decorator to enforce arguments to be provable types #663