Properly resolve ADTs with no exposed constructors
Fix errors with imports
cosmetic: make line a bit shorter
Do a better job canonicalizing values
Explicitly list exports
cosmetic: format code to a bit easier to read
cosmetic: use more module prefixes
Explicitly list exports
cosmetic: use module prefixes for variable canonicalization
cosmetic: add Env prefix to insert functions
explicitly list exports of Maybe module
Use corrected ADT import syntax
Get docs compiling for now
cosmetic: align things more nicely
Split canonicalization setup into new module

To make things a bit clearer, it made sense to put all of the
environment setup code by itself.
Add canonicalization helper modules
cosmetic: more consistent Binary instances
Prettier error on mutually recursive type aliases
Add Text as default import