ref: d79e79e33b434fb9dc21bbffcdc55662e6aeec7b dhall-ruby/lib d---------
Add as_dhall refinement
Test typechecker edge cases
Optional#value is not what we want here
Run all dhal-lang typecheck tests
Run all dhall-lang tests for normalization
Pass all import tests
Allow self-describing CBOR
Environment variable failure can fallback
Allow imports to be either binary or source form
Update to new UnionType selection semantics
Anything we'll eventually run is a skip
Fix env import decode
Use upstreamed type tests
Refactor parser based on nicer ABNF
Fix rubocop except for parser metrics
Keep around type information when we have it
fix type => [value|element]_type
Refactor LetBlock, allow single LetIn