Replace isLambdaSub with hasSimpleKind

This follows #4360. I'd love to add a test but #4360 has none, so I'm not 100%
sure what it'd look like.

Author: Blaisorblade

compiler/src/dotty/tools/dotc/core/TypeComparer.scala

@@ -385,7 +385,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {
           if (cls2.typeParams.isEmpty) {
             if (cls2 eq AnyKindClass) return true
             if (tp1.isRef(NothingClass)) return true
-            if (tp1.isLambdaSub) return false
+            if (!tp1.hasSimpleKind) return false
             if (cls2 eq AnyClass) return true
               // Note: We would like to replace this by `if (tp1.hasHigherKind)`
               // but right now we cannot since some parts of the standard library rely on the