Change theme, depend on graphviz extension
Move phases.rst to its own folder
Add docs on the implementation of conditions
Move atomeq to AST module, add atomp macro
Add documentation on modules
Change section markers in type documentation
Change section titles in special form docs
Minor changes to docs, README
Add some code to type lifter
Add simple main interface file
Add documentation on the condition system
Fix short section marker