Fix tuples inlining

When inlining a `this` binding that referes to a result typed
with a match type, this type must be normalized and used.

Author: nicolasstucki

tests/disabled/run/tuples1.scala renamed to tests/run/tuples1.scala

@@ -0,0 +1,9 @@
+object Test extends App {
+  val t7 = '5' *: 4 *: "C" *: ()
+
+  val t7a = t7.tail
+  val t7b = t7a.tail
+  val t7c: Unit = (t7.tail: (Int, String)).tail
+  val t7d: Unit = (t7.tail: Int *: String *: Unit).tail
+  val t7e: Unit = t7.tail.tail
+}