Fix wrong coding conventions

Fixed naming convention of private members in AuFoo classes to match
that of the rest of the project.

Removed TermMap, KorNode and KorUid as they are redundant since
the last commit.
Implement lifting of Korona function arguments

Implements lifting of Mutator arguments to usual arguments.
This will allow us to implement imperative features in the functional
Korona language.