While I'm glad for the discussion about parsers, we lost track of the original post. What do people think of my suggestions: * Make IFTI and template-specialization syntax sugar for is-expressions (in the right order so the deductions work properly) * Support multiple tuples in the same template