New type system, prototype arrays