Changes

Summary

1. tuned signature;
2. clarified signature -- allow more re-use;
3. concrete predicates from "Dublin Core";
4. clarified signature; suppress already loaded theories;
5. tuned signature;
6. tuned document;