Fixed an error that caused, e.g., Str(X)s not to be acceptable where an SStr was required.
Merge pull request #34 from hamptonsmith/facilities2

Fixed an error that caused, e.g., Str(X)s not to be acceptable where an ...
Fixed an error that caused VarExps not to be replaced properly.
Merge pull request #35 from hamptonsmith/facilities2

Fixed an error that caused VarExps not to be replaced properly.
Added a limit to the number of developments the prover will perform to limit combinatorial explosion.
Merge pull request #36 from hamptonsmith/facilities2

Added a limit to the number of developments the prover will perform to l...
Fixed a predicate that was intended to stop repeated expansions like x = 0, x = 0 + 0, x = 0 + 0 + 0, etc. in the theory development stage.
Merge pull request #37 from hamptonsmith/facilities2

Fixed a predicate that was intended to stop repeated expansions like x =...