Transformed code now executes on G-Machine. Still need to compile defaults (_ -> ...)