Given an array of types, create the most general list phrase type which has a yield type matching those types as a tuple.
A list phrase type.
The array of types yielded by corresponding elements of the list phrase type.