Prove and present properties in alphabetical order
Update examples
Move Merge- and Quick- sort to old examples
Update zeno and prod test suites