All beta normalization except for functions
First pass refactor
Implement many builtins and do Optional section
Start to implement normalization rules
Typo
Decoding Dhall from binary works