Basic case splitting: Added a Split class and an instance of Split to the blackboard.
Split examines the blackboard and (randomly) selects a potential term to split on, with depth
bounded by default_split. The main module then calls Split and explores each branch, discarding the
results if a contradiction is not found.
Add a constant default seed. May change performance wildly.
Function terms now store references to their defining object, to allow them to share canonizers.
Adding recent bugfixes to the backtracking branch.
Added exponential module file.