Hacked equiv to handle examples/equality.tt