Improve documentation of @priority in EtcsLevelTransitionDestination
The documentation of @priority in the type EtcsLevelTransitionDestination should be improved to clarify that lower numbers mean higher priority (the highest possible priority is 0).