`Array` type checking fixes#317

inducer merged 2 commits intoinducer:maininducer/arraycontext:mainfrom

majosm:array-type-checking-fixesmajosm/arraycontext:array-type-checking-fixesCopy head branch name to clipboard