Add an equality tester to Exp
Add some equality testing
Add some more jail functions