1. ADDED: API for the retraction of simple literals.
2. EXTENDED: Allow class argument in RDFS domain/range assertion to be uninstantiated.
3. CHANGED: Removed superproerty argument from higher-level property assertion.
4. CLEANUP: Use simple/typed literal API predicates where possible: reducing the number of arguments.