Remove unused debugging utilities.
Ensure the runtime builds on its own.
Separate types from constructors.

Options are now nullable pointers, the tag of a choice is now in its
boxed portion, and the representations of choices and options are no
longer conflated.