Changes

Summary

1. clarified messages;
2. clarified syntax: 'directories' and 'theories' belong together;
3. more documentation;
4. check session directories;
5. declare session directories;
6. clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories);