Switch to aadeque for arrays in runtime
Type-check and compile array expressions