refactor TerminationOrder, prepare for different order types
Merge branch 'linear' of https://github.com/jwaldmann/co4