Custom constructors for the list of definitions of an Fomega module

Using Stratego lists, the "analysis-data" annotation was not quite put
as expected. This lead to a more unsystematic implementation of the
signature checker which was less suited for a later rule-based reimplementation.
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...
Started the new rule translator for annotation-based checking