Implement canonical term reordering during if/then/else hoisting. This turned out to be easier than I thought because SharedTerm already had a sensible Ord instance.
Implement canonical term reordering during if/then/else hoisting.
This turned out to be easier than I thought because SharedTerm already
had a sensible Ord instance.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script