TypeConstructors, and their instances as ParameterizedTypes, to fully represent __annotations__ in Python-3 code.