Lifting for local variables

Allows us to use variables in Korona like they are used in
imperative languages.