FIR: implement isDenotable on type constructor more accurately

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeTypeContext.kt

@@ -253,7 +253,13 @@ interface ConeTypeContext : TypeSystemContext, TypeSystemOptimizationContext {
     }
 
     override fun TypeConstructorMarker.isDenotable(): Boolean {
-        return true // TODO
+        //TODO
+        return when (this) {
+            is ConeCapturedTypeConstructor -> false
+            is ConeTypeVariableTypeConstructor -> false
+            is ConeSymbol -> true
+            else -> true
+        }
     }
 
     override fun TypeConstructorMarker.isCommonFinalClassConstructor(): Boolean {