Merge branch 'fomega' of https://github.com/florenzen/sugarj into fomega
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
Merge remote-tracking branch 'upstream/fomega' into fomega
Re-enabled norm-context since it is used in sig rule verification