Violation of tuple type nesting rules

[jaehyun1ee]

According to the table in spec 7.2.8. Type nesting rules, types match_kind and int are disallowed within a tuple type.

However, tests issue3091-1.p4 and issue3091.p4 accepts match_kind in tuple as valid:

match_kind { exact }
const tuple<match_kind> exact_once = {exact};

And tests issue3238.p4, list3.p4, and list4.p4 accepts int in tuple as valid:

bit func(bit t1)
{
  tuple<int> t = {t1};
  return t[0];
}