A special approximation state to indicate that this is the first time we
compare (approximations of) this pair of types. It's converted to None
in isSubType, but also leads to leftRoot being set there.
A special approximation state to indicate that this is the first time we
compare (approximations of) this pair of types. It's converted to None
in isSubType, but also leads to leftRoot being set there.