Unique vectorsx#762

TimWhiting wants to merge 4 commits intokoka-lang:devkoka-lang/koka:devfrom

TimWhiting:unique-vectorsxTimWhiting/koka:unique-vectorsxCopy head branch name to clipboard