Began implementing Rulebook. Missing validity checks and term generation.
Towards #1
Added validiti check in Rulebook and term.check_valid()
Towards #1
Removed self from static methods
Towards #1
Forcing compound terms to be tuples will allow a lot of hashing.
Towards #1