great progress on the inference engine

I've got the inference engine working, but not yet integrated with the wiki. I've also implemented the Communitive, Transitive and KindOf meta-relations.

The next step is to make it faster by moving some of the combinatorics into the special relations where they can do early pruning.

Now this is a VERY simple inference engine. It can not, for example, handle any rules. Still it may prove useful.

Bill