Add test for matching against a tuple of types