exactString parser.
Document why unions are not first-class types.
Implement orphans -- the ability to transfer ownership of sub-objects.
Add link to dwrensha's Rust implementation.
Implement lexer for new compiler.