Fix size annotations after iswim.  Maybe.
Fix size annotations after iswim.  Maybe.

diku-dk/futhark,mrakgr/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark,ihc/futhark,HIPERFIT/futhark,mrakgr/futhark,ihc/futhark,CulpaBS/wbBach,mrakgr/futhark,ihc/futhark,diku-dk/futhark