1. DEPLOYMENT: Added plSet.
2. CLEANUP: Building proof trees for RDF(S) deductions up to date.
3. FIXED: RDF graph name generator borken.
4. ADDED: blank node predicates for RDF term/triple variants.
5. CLEANUP: Halfway restructuring the modules.