Dynamically type-check function calls in Literate Futhark.
Dynamically type-check function calls in Literate Futhark.

This results in much better errors than if we pass garbage to the
Futhark server.

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