Tuple type declaration, and implicit cast to struct
tuple indexing with '[]', constant int only