Desugarer now correctly naming variables
Desugaring implemented in Translator