Tuple types

Tuples are arrays with a fixed length and known types per position.