Automatic letrec desugaring
fix Definition.freeVariables()
Tests