Added an Array type that allows the type of its elements to be specified