use default JRE
import unknown constructors
slightly improve debug messages
work in progress on Extension Declaration
finish extension declaration
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.