Change printing of Holds
Merge branch 'dev' into qr-theorem
Change textual rendering of enriched to make it more distinct.
Reorganize and document the proof of the QR theorem.
Add a section to README about the tests.