FIXED: New type checking in rdf_current_predicate/1, rdf_subject/1 and
rdf_resource/1.