Removing the datatype declaration of "order" allows the standard General.order
to be used. Thus we can use Int.compare and String.compare instead of the
slower home-grown versions.
Tree = Main +
datatype 'a tree = Tip | Node ('a tree) 'a ('a tree)
end