abbreviated Expression constructor names, fixed noncompiling Patterns, made TypeVars nicer, changed TypeExpr constructor param handling, updated desugar / name binding rules to new names.
Expanded name binding rules a little bit
Made ambiguity between FuncApp and ConstrApp more local.