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).