Tuple type

Implements https://github.com/phadej/typify/issues/12