Revert "Allow type variables in tuples"

[seanmcl]

This reverts commit d106ef8.

The change breaks wildcard matching, such that even simple
programs like

module Foo {
  datatype t = A
  function method f(x: t): bool {
    match x
      case _ => true
  }
}

fail.