1. How to write code
2. A comprehensive description of all math-o-matic syntaxes (TODO)
   1. import
3. The current axiomatic system
   1. Counterparts
4. Specs for devs
   1. Precedence

The import syntax

import statements can only be at the top of each files.