Correct transformation of do-expression; SCC annotation is later used to turn a desugared lambda into a special do-lambda.
Correct additional variables used basically for desugaring to be qualified with Hat.PreludeBasic instead of Hat.Prelude.
Corrected info variable generation for pattern-bound variables. Now defining location is only the variable, not the whole pattern.
Corrected transformation of several equations (matches) when pattern matching of earlier equations may fail due to guards or numeric patterns.
Correct definition location for all pattern-bound or caf-defined variables. Location has to be whole definition, not just the variable itself.