Refactor and rename Logging and StrictMode aspects and annotations.
Add documentation to Gandalf Strict Mode annotation.
Add documentation.