Remove condition hierarchy, fix section marker
Make some forms return unit instead of the truth constant
Add documentation on kinds
Add the a graph of the hierarchy of built-in kinds, prelude documentation
Add placeholder for documentation on the memory model
Add some of the prelude
Don't try to replace anything
Add iter function, remove useless test
Add mapcar function
Add tests for iter and mapcar
Add some code to emitType