Lots of updates to get this thing working!

RDF now works both with individuals type system, and the ability to
regress to general type system.  Caching enabled (actually, it's forced,
it should be optional).