Pushed function types down to the RVM interpreter.
Updated the RVM interpreter examples.