Given an A_Type, compute the most specific TypeTag that is ensured for instances of that type.
The TypeTag of this type's instances.