Rename Order to Sorted

This branch will rename the Order operation to Sorted.

In other languages, "ordered" implies that the order tuples are added to the relation is tracked, while "sorted" means that they are sorted according to some criteria. The latter is closer to what is meant.