Started implementation of unification (for types)
Commented currently broken code
Merge remote-tracking branch 'upstream/fomega' into fomega

Conflicts:
	case-studies/fomega-type-annotations/src/extension/let/Semantics.sf
Verification of desugarings using "typeof"
Deleted debug output and updated some TODOs
These definitions are now in package extensions
Merge remote-tracking branch 'upstream/fomega' into fomega
Re-enabled norm-context since it is used in sig rule verification
signature verification works with auxiliary ASTs
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega

Conflicts:
	case-studies/fomega-type-annotations/src/contextanalysis/rules/Verification.sf