We should add the concept of back-references. It feels cumbersome to have to
manage them in application code while being able to specify other consistency
properties by simple keywords. I don't have a clear idea how to do this yet; we
need to come up with one first.