arrays and type checking