TestingTermOperators

Request goals (and their expected Solutions) exercising the standard order of terms comparison operators @</2, @=</2, @>/2, @>=/2, plus the term-variance operators =@=/2 (variant) and \=@=/2 (not variant), used by TestSolver.