BERTestContentsIndex
ABCDEGILMNOPRSTUV:
Index (T)
TagPlicity
TagType
TagValue
TaggedType
TypeDefn
typeCheck