Add tuples and equality exceptions to the semantics