Extending traceability

C T traceable

C val T T' traceable

C T₁ traceable

C T_n traceable

C (T₁,...,T_n) traceable