Futhark

Added futhark literate (and FutharkScript in general) is now able to do a bit of type-coercion of constants. Fixed Accumulators (produced by AD) had defective code generation for intra-group GPU kernel versions. (#1895) The header file generated by --library contained a prototype for an undefined function. (#1896) Crashing bug in LSP caused by stray undefined (#1907). Missing check for anonymous sizes in type abbreviations (#1903). Defunctionalisation crashed on projection of holes. Loop optimisation would sometimes remove holes. A potential barrier divergence for certain GPU kernels that fail bounds checking. A potential infinite loop when looking up aliases (#1915). futhark literate: less extraneous whitespace.If you use this software, please cite it as below