semantic: Rewrite function parameters as lookups to, if they've been tagged as nested.