Allow “silent” persisting of tags

This simplifies the algorithm a little bit in the case that no output
is needed. Diffs are still necessary for properties with inverses.

Initial Tag model

Work is still needed here to allow `TagSystem`s to replay the
activities generated by persisting tags, but the `Tag` part of this is
close and working.

Small improvements to storage

- Restructuring of I·D minting for readability.

- Test to ensure `Storage` must be called as a constructor.

- `000-0000` is now reserved (deleted) by default.

- Formatting and documentation improvements.

Initial {memory ∣ storage} model

Initial commit