Allow imports to be either binary or source form
Update to new UnionType selection semantics
Fix rubocop except for parser metrics
Keep around type information when we have it
fix type => [value|element]_type
Refactor LetBlock, allow single LetIn
Refactor Optional/None typecheck
Refactor RecordProjection typecheck
Refactor some of typecheck
Get closer to fitting the metrics
Clean up style violations
Implement integrity checks
Always encode OptionalNone in new style
Flatten/unfill applications and builtins when encoding
Remove multi-argument applications
They only exist in binary encoding, so let's keep them there.