[Commonizer] Relax conditions for TA lifting-up

Allow lifting up matching TAs with non-empty list of type parameters
and non-empty list of type arguments in the expanded type.

native/commonizer/testData/classifierCommonization/typeAliases/commonized/common/package_root.kt

@@ -12,6 +12,17 @@ typealias E = A // different TAs expanded to the same class at the RHS
 typealias F = List<String> // parameterized type at the RHS
 typealias H<T> = List<T> // TA with own parameters
 
+typealias I2<T> = List<T>
+typealias I3<R> = List<R>
+typealias I4 = List<String>
+
+typealias I5<V, K> = Map<K, V>
+typealias I6<T, R> = Map<R, T>
+
+typealias I7<K, V> = Map<K, V>
+typealias I8<T, R> = Map<R, T>
+typealias I9<Q, W> = Map<W, Q>
+
 typealias J<T> = Function<T> // function type at the RHS
 typealias M = () -> Unit // same return type
 typealias O = (String) -> Int // same argument type

native/commonizer/testData/classifierCommonization/typeAliases/original/linux/package_root.kt

@@ -15,6 +15,17 @@ typealias G = List<Int> // different parameterized types at the RHS
 typealias H<T> = List<T> // TA with own parameters
 typealias I<T> = List<T> // TAs with own parameters with different names
 
+typealias I2<T> = List<T>
+typealias I3<R> = I2<R>
+typealias I4 = I2<String>
+
+typealias I5<V, K> = Map<K, V>
+typealias I6<T, R> = I5<T, R>
+
+typealias I7<K, V> = Map<K, V>
+typealias I8<T, R> = I7<R, T>
+typealias I9<Q, W> = I8<Q, W>
+
 typealias J<T> = Function<T> // function type at the RHS
 typealias K<T> = Function<T> // function types with different type parameter names
 typealias L<T> = () -> T // different kinds of function types

native/commonizer/testData/classifierCommonization/typeAliases/original/macos/package_root.kt

@@ -15,6 +15,17 @@ typealias G = List<String> // different parameterized types at the RHS
 typealias H<T> = List<T> // TA with own parameters
 typealias I<R> = List<R> // TAs with own parameters with different names
 
+typealias I2<T> = List<T>
+typealias I3<R> = I2<R>
+typealias I4 = I2<String>
+
+typealias I5<V, K> = Map<K, V>
+typealias I6<T, R> = I5<T, R>
+
+typealias I7<K, V> = Map<K, V>
+typealias I8<T, R> = I7<R, T>
+typealias I9<Q, W> = I8<Q, W>
+
 typealias J<T> = Function<T> // function type at the RHS
 typealias K<R> = Function<R> // function types with different type parameter names
 typealias L<T> = Function<T> // different kinds of function types