Add type expression of pair, triple, n-tuples.
Merge pull request #1 from pasberth/master

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