Ready to work on the new inference engine

I've now completed the framework for inference rules and implemented an inference rule that doesn't do anything.

Now the fun begins. :-)

Bill