Instead of using tuples of TypeIds/TypeMatches, use dedicated enums
this will facilitate having more than 12 arguments per method, as the
main reason that limitation was in place was because the Hash impl for
tuples only went as far as 12 elements.
  The TypeMatches enum also has variants signifying it contains a vararg
which is the first step for supporting them.