Use arrays instead of lists to represent constructors

[jespercockx]

Arrays give constant-time access to their elements so they might be more efficient, especially for record types with many fields.

We could also consider using arrays to represent argument lists for functions with a high arity.