Better alias expansion in core type checker.
Better alias expansion in core type checker.

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