Typing rules for the type synonym part of a data definition

A data seems to be checked correctly (only for conditions related
to the type synonym). It has not yet been automatically verified.
Another rule for ADT-CA...
Foo
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega
Towards verification of kinding rules...
Clean up of verification

Disabled verification of ADT rules. It is not working yet.
Deleted comments
Started to integrate extension declaration
Print desugared conclusion term/type on failure
Desugaring of typed terms

$(typeof e) syntax and desugaring
Extension of verification to handle TypeOf
An extension where simple typeof is not sufficient anymore

Currently, the system is in an unstable state.
Also annotate the context to expressions and types
Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega

Conflicts:
	case-studies/fomega-type-annotations/src/extension/let/Semantics.sf
some fixing, WIP
toward support for verification of signature rules
avoid null pointer exception