Corrected type tests on arrays