NameShape
data NameShape
emptyNameShape
mkNameShape
extendNameShape
nameShapeExports
substNameShape
maybeSubstNameShape