Tiger — typecheck array expressions