Rename Order to Sorted

This branch renamed Order to Sorted and works with the axiom branch named "rename-order-to-sorted".