When a tag is serializable but not `write'--`read' invariant, then it needs to be serialized and deserialized. Also, clarify and check in `tag?' that a tag should be serializable.