Add type expression of pair, triple, n-tuples.