fixed warnings
added simple TermStore
added prototypical traits for execution of rules
added strategy traits and rules
new unification concept implemented
* based on terms being held in state, unifications lead to new states
* seamlessly allows for backtracking and unification possibility checks
cleaned up and got everything to work again
re-added matching support
bugfix for unification with mutual recursion
updated README