Type: <tag>
A tag is a user-defined type which is disjoint from the primitive types employed by MOSVM, and other tags.
Topics related to tags: cell, make-tag, repr, tag, tag-info, type-name