Merge compact normal forms
Merge Yang and Campagna's http://ezyang.com/compact.html.
There are several pieces to this,
- Types and construction logic for compact regions (see D1264)
- Serialization and fixup logic (currently also in D1264)
- Striped allocator for heap sharing between processes (allocator in D1434, CNF support in D1435).
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information