TagType theory