- should Union.add() be there?
- should Atom.top() be there?
- fix the location stuff, it's broken
- decent/better error messages
- should Union.add() be there?
- should Atom.top() be there?
- fix the location stuff, it's broken
- decent/better error messages