Add ADRs

[idg10]

We wrote this code before we started the practice of writing ADRs, so this has none at the moment. We could add some to clarify the design intent.

The discussion in #53 is one example—we haven't currently explicitly describe the error detection and reporting design. But there are many others.