Modified Elaborator, Implemented basic RBS

Elaborator now owns it's elaboration (or at least an Elaboration).
The Rule Based System (RBS) is implemented with a very simplistic
modus ponens forward training approach. There are many better ways
of doing this.