Update Constraint.relast

src/main/jastadd/hanoi/Constraint.relast

@@ -3,13 +3,12 @@ abstract Term;
 abstract Connective;
 Atom:Connective ::= Relation;
 abstract Relation;
-abstract UnaryRelation:Relation ::= Term;
+
 abstract BinaryRelation:Relation ::= Left:Term Right:Term;
 Subsetof:BinaryRelation;
 Compare:BinaryRelation;
 Equal:BinaryRelation;
-SelfEq:UnaryRelation;
-SelfComp:UnaryRelation;
+
 abstract UnaryConnective:Connective ::= Connective;
 abstract BinaryConnective:Connective ::= Left:Connective Right:Connective;
 Conjunction:BinaryConnective;