In the middle of changes for V2. Lots of random stuff.
More documentation fixes from babel.
Tagged unions are just dynamic types.
Getting closer...need error formats.
Wrapping up stuff.