While the syntax and meta-syntax formalisms of Prop are involved
with transforming data structures to and from a textual external form,
the persistence formalism is responsible for transformation to and from
an binary form.