Integrity check must happen after all resolves
Helper to get ipfs path based on integrity check
List stores full type, allows for unusual annotation
Allow arbitrary ruby objects to live in the AST
Only for when you're really sure you want that.
implement as Location and use URI internally
Record projection by expression / type
Do not commute multiplication when normalizing
Fix for #join on empty list
Do not commute generally
The operator is commutative, but that doesn't mean x == False should
become False == x upon normalization.
Switch IntegrityCheck encoding to multihash
Split IntegrityCheck and NoIntegrityCheck
Split IntegrityCheck and NoIntegrityCheck
Refactor builtins
The fill/unfill code is much simpler now
IntegrityCheck stores raw hash internally
Disambiguate hoisted union tags properly
An array may contain two nomnatively-equivalent types who are
structurally different -- so they need different (but related) union
tags since they will not share a type.
Enum should not have itself in the alts
More useful to_s for AST nodes