ListSet implementation.#822

OStevan wants to merge 3 commits intoepfl-lara:scala-2epfl-lara/stainless:scala-2from

OStevan:ostevan/lis-setOStevan/stainless:ostevan/lis-setCopy head branch name to clipboard