Move grammar checking: tuple type