New preamble, started refactoring the document.
Completed refactoring, added PedanticNotation.
Merge pull request #1 from eggrobin/semantics-oriented-commands

Semantics oriented commands