Tuple Types

Fixed-length arrays with defined types for each position.