teach type-unerasing system to resolve type variables against declarations in concrete superclasses;  implement awful hack to look up TaggedTextItem when somebody has a TaggedItem<Text>