modifying polymorphic '>' from ABC to be monomorphic

note: with this change, 32 tests now fail;
   those that 'assertEQ' using texts or booleans