Wiki TO DO

[trijezdci]

• complete formal parameters section
• add section for scoping rules
• rename section type semantics to allocation, describe allocation for all types
• add section on convertibility of types
• add section on structured value constructors
• move pragma semantics to a pragma section somewhere towards the end

loose ends:

• explain rules for duplicate imports
• unqualified name for types whose identifiers equal that of their module
• dot notation procedure invocation for variables of module types
• state that indeterminate records can only be targets of pointer types
• array subscript notation can be used on instances of type address