Towards propositional truncation.

This version exposes a bug with records.