Fixed the array.dats to typecheck