This makes it possible to see whether an entry function may create new objects just by looking at the type signature.

Tweaked the verifier to alow this, and updated some framework and example code accordingly.