ensure persistence subsystem is fully documented in specification

[kiniry]

In particular, every automatically generated table in the deployed DB should map to a table concept in the specification, and every query realized in the us.freeandfair.corla.query package should be realized by a function in the spec.