slightly cleaner trampoline code
comments, cleanup
add interpreted miranda methods