Split up definitions-file into syntax, semantics, and type-system.