[set] Don't pass around comparison function in set.tolist since it isn't actually necessary to produce an ordered result

Ignore-this: 7d69205aab0c137a2d46a41dbfc13bee

darcs-hash:20130702054232-2809a-892c0dee2142061cfe8db2f9ff05f71de71f872a
[set] ordered.set.== skeleton

Ignore-this: 87e9441e2fbb7dc2e3e5428d6cc663ef

darcs-hash:20130702055004-2809a-a0b01dfeab330a6543c876d5d21a2f46963b6638
[set] Finish ordered.set.==

Ignore-this: b47c14269f59ffc91c72294ab532b8f0

darcs-hash:20130702181601-2809a-d12c234b25d7dc859d51e104b6c9b0b54ce30dd4
[gsac] gsdl.cgs.symbol.== and gsdl.cgs.symbol.fmtgs skeletons

Ignore-this: 9571fcdba10e602db2abd62b411c8fc9

darcs-hash:20130702181756-2809a-ab37cd81012daeca97cd2ef788f29d4289d0b4bd
[set] ordered.set.fmtgs

Ignore-this: 2d2da58299f88c043cea48cb4b5dd224

darcs-hash:20130702181824-2809a-ee09eb86a25734eaf9d78387aa2f7f4143c7cedf
[gsac] Test boundvars / empty prefix file

Ignore-this: a91f4c01312124bb99047ac7658aed1d

darcs-hash:20130702181848-2809a-eb2b654f4e3926e0d8467c24b3172798f2217f46
[rune] rune.left.curly

Ignore-this: 609e452cf451899256148417de2034c5

darcs-hash:20130702201641-2809a-64f75eb8af1c15e958fe9a37242f4d43b1c9755e
[rune] rune.right.curly

Ignore-this: e99f3ba88e933205ed9ffedae84bcdaa

darcs-hash:20130702202652-2809a-23af6402d3f9cf86cebda2a9c6e2760f65331725
[set] Fill out ordered.set.fmtgs

Ignore-this: f08b5d138a76d05bc5e0bcc4aaf9dde1

darcs-hash:20130702204332-2809a-c4210f852866c813da776a7471b33ef2aed551bb
[gsac] Fill out gsdl.cgs.symbol.fmtgs

Ignore-this: a18e9642ca85449a2598b615ec4d8a7a

darcs-hash:20130702210328-2809a-d7fc31641f1c1cc3c29d0879d2ecb0933f0b1358
[gsac] gsdl.cgs.symbol.==

Ignore-this: 83d5f213861fde8abe63e85acb5a9560

darcs-hash:20130702221538-2809a-6c17e8b15eebad83f3e6ac602b917a277583ac30
[gsac] boundvars/tyabstract

Ignore-this: 1854d31271a50046e5a1a987395976d1

darcs-hash:20130702221606-2809a-48be9c719752eee1fc28ce24d03d8627dc7da0ee
[gsac] Convert gsdl.var.t to an abstract type

Ignore-this: ad6cd9f085a74f4695cc4cb75d3e89a8

darcs-hash:20130703202828-821d0-08520bdd9c40b5299db8dcc9d9a2e3291e06dd2f