Elna

Module sections can appear in any and each section can appear repeatadely.

Types inside a section can still reference each other. The types should be able to use constant variables in the declarations (for example array size). The easest solution for circular declarations is to require that types used to declare a variable are declared before the variable. And variables needed in the type declaration are declared before the type.