fix detection of uncanonicalizable supertypes