new operators: %==%, %<%, and so on