Make type-checker aware of size annotations.
Make type-checker aware of size annotations.

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