Add file-based type system w/ Type Maker tool.
Add documentation.