instanceTag

Given an A_Type, determine which TypeTag its instances will comply with.