Add operator::< for Term struct

Removed DecreasingOrderExpSort and added an operator::< to the Term
struct so that we can use the default.