first draft of a general lifting function for variable nodes
adding a testcase for the previously added lifting function
fix compile errors
fixing fexp propagation
renaming refactoring
comment code that does not compile
adding further lifting examples: expr, decl, choice