Adding some helpers to generate tlambda
commenting
Adding helpers, switch handling and some primitives