lib(termcomp)

   Built-ins for symbolic term comparison and sorting

