Started annotation-based context-analysis for Fomega

A new kind and signature checker using annotations and a
cleanup of most of the code from test-fomega-typechecker. The
latter was getting more and more chaotic...