Fixed the expected number of solutions for test case.
Fixed error when typing between relations of different arity.
Optimize set ternary.
Test for transitive closure.
equals, hashcode, toString for AstTransitiveClosure.
Implement inverse of a relation.
Implement union of relations.
Add missing class.