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.