Tuple
Typed, fixed-arity tuple used throughout the DSL.
Tapik uses concrete tuple arities instead of plain lists so each builder step can keep the exact type of every header, parameter, or output slot while still offering toList for iteration.
Parameters
Super
common super type shared by all tuple elements.