moves can no longer be made over previous moves. Also, lots of new functions added to Axiom classes, including equality checking
now with a functioning occurs check!