Preserving order of types and sessions in model

[treiher]

As Model stores types and session in two separate lists, the order of type declarations and session declarations is lost when parsing a specification. Consequently, the specification generated from a model will not be equal to the original specification, if types are declared after a session, or types and sessions are mixed. One option would be changing the model, another prohibiting the declaration of types after a session declaration.