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'
Shorter names
Fix imports
Bugfix: error tracking was not working in some cases
Fixed import
Bugfix in type equality check for arrow types
Fixed the rule verification for the annotation based checker
Bugfix: annotate-type-missing was failing
Moved functions to extract error annotations
Use strip-annos in debug output to reduce length of output
Let extension and a simple test
Merge remote-tracking branch 'upstream/fomega' into fomega