Ensure TES 1.0.0 compliance

Before releasing a stable 1.0.0 version as discussed, it would make sense to ensure that all models and validations conform to the version 1.0.0 of the TES specification. Outdated model definitions should be updated in such a way that backwards compatibility with current TES implementations (Funnel, TESK) is maintained (along the lines of #46).