Expose useful RA operators in Schema

The added operators are present in alf but not currently present in
axiom, therefore, add them here

* allbut(relation, attr_names)
* matching(left, right)
* not_matching(left, right)
* matching_on(left, right, right_attr_names)