Add _InstantiatedType.__str__