Bare minimum refactor to pass the metrics
Clean up style
Pass most compliance tests No import or multiline string support yet
Beta normalization complete
All beta normalization except for functions
First pass refactor
Implement many builtins and do Optional section
Start to implement normalization rules
Decoding Dhall from binary works