Polish prettyprinting a little more.
Polish prettyprinting a little more.

diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark