Equiv and arity tests
Updated Todo list