Improved the performance of RDF(S) deduction over literals by using two association lists for storing the mapping.

* [RDF_AXIOM,O] Rewrote the blank node-to-literal mapping, speeding up deduction over literals considerably. These are stored two-way in two association lists.
* [RDF_AXIOM,SC] Improved the way in which materialize gets instatiated.
* [RDF_TERM,SC] Takes over the typecheck predicates from RDF_TYPECHECK.
* [RDF_TMS,SC] Deleted module, functionality is all in RDF_AXIOM.
* [RDF_TYPECHECK,SC] Deleted module, functionality is all in RDF_TERM.
* [RDF_AXIOM,O] Rewrote the way in which predicates are handed over to the TMS, bringing an improvement in speed.
* [RDF_AXIOM,DEB] For the current experiments, we disable all deductions that introduce new blank nodes.
* [RDF_LIST,SC] Renamed is_rdf_list/1 to rdf_is_list/1.
* [RDF_LIST,O] Rewrote rdf_is_list/1 to use the new rdfs_is_individual/2 optimizing the materialization of RDF_AXIOM considerably (via RDF term naming using for materialization debugging output).
* [RDF_NAME,EXT] Allow input that has not gone through rdf_global_id/2 yet, for predicate rdf_triple_name/2.
* [RDF_SERIAL,FIX] rdf_new_graph/2 would loop with invalid nonvar second argument.
* [RDFS_READ,NEW] Added rdfs_is_[individual,subclass]/2.