cleanup imports
primitive for pretty printing base lang
fomega can pretty print
fix term prettifier
hover help for type analysis
fixed typos
moved rule sugar into separate package
copied extension Declaration to annotation based impl
strip annos prior to desugaring, fails otherwise...
use extension declaration for sum-comprehension
simplify type rules for sum comprehensions
More type checker code generation for the annotation based implementation
Working type annotations for some simple typing rules

Bug fix in type annotater
Integration of type checker into signature checker
Bugfixes for variable lookup
Made the other simple rules working

Still missing: records, variants, and recursive types
A few tests
Merge remote-tracking branch 'upstream/fomega' into fomega

Conflicts:
	case-studies/fomega-type-annotations/src/contextanalysis/rules/RuleDesugaring.sf
	case-studies/fomega-type-annotations/src/test/AnnoTest.sf
Add a type/kind annotation to the identifier of a top level definition (for hover info)
Use same pretty printer for types and kinds in error messages and hover info
Test for `as'