Renamed method to compile body args to be clearer about its purpose.
Adding some tests for cut.
Added arguments to compileBodyCall to make it possible to distinguish neck cuts from deep cuts. Cut tests commented out for now.
Formatted code.
Implemented unifies by directly implementing =/2.
Implemeneted non-unfiy and added the unify and non-unify tests. They pass, but only because not always succeeds.
Pushed the BaseMachine into all built-ins so they can make use of interners and symbol tables.
Passing down the DefaultBuiltIn to all built-ins, instead of BaseMachine, so that built-ins can make use of the default compilation methods.
Commented out permVarsRemaining until this is correctly calculated for a disjunction.
Added some thoughts on implementing built-ins.