Futhark

Alias tracking of sum types.

Proper checking that a function declared to return a unique-typed value actually does so.

Faulty uniqueness checking and inference for lambdas (#1535).

Monomorphisation would duplicate functions under rare circumstances (#1537).

Interpreter didn't check that the arguments passed to unflatten made sense (#1539).

futhark literate now supports a $loaddata builtin function for passing datasets to Futhark programs.