fixed arraylength typecheck and typesafed test006