Function nesting, closures, constructor calls: still need to adjust
r2mu and mu2rvm translations and to update examples.