exactString parser.
Document why unions are not first-class types.
Implement orphans -- the ability to transfer ownership of sub-objects.