use Gt, Le, shorter names, add few more tests (rational, irrational, complex)