Refactored ChaseState/Modelspace/Modelcoordinate inside RazorState.
Ready to reimplement augmentation/backtracking.
REPL now calls the changes made to the augmentation Chase/SAT code.
However, an augmented model is never returned by the iterator.

API.Surface has commented code related to issue #45.
Merge branch 'razor' of https://github.com/salmans/razor into razor