working, but not complete

The inference engine (invoked by the infer command) is now working with the transitive meta-rule. Currently there is no output (except diagnostics), but I'm more interested in the engine right now. I want to define a few more meta-rules and extend the engine to support them.

Bill