[gsac] Add some helpful documentation

Ignore-this: 1e9e7e82544edd475d5a13956a379d6e

darcs-hash:20130708043718-2809a-3cc32f551a4ebfa02beb91220db881226cd27a22
[gsac] Factor out loop over SCCs in prefix.typecheck

Ignore-this: e0d872cad21dc7768b8043ac305ed472

darcs-hash:20130708045542-2809a-27801a1ee6afa608ba058f6570a158f335f8a6d6
[gsac] gsac.prefix.item.typecheck function, for type-checking a specific item

Ignore-this: 1c827513ed75b1d5568ad0984fcc47f7

darcs-hash:20130708163836-2809a-4f830ebd9c903bf009dae42d6db165539a86d6dd
[gsac] gsdl.cgs.typeenv.gskind.set skeleton

Ignore-this: 1d9fe98c73226c607c7f899e320d01f4

darcs-hash:20130708165310-2809a-4b2299a0a8fad37bf5ae76eec1b8820aeec43ea4
[gsac] gsac.prefix.item.typecheck/gsabstypenm

Ignore-this: 58d6a632b61e93cb489aa342fc858fff

darcs-hash:20130708165356-2809a-d5ffaec9d367391d95448c1a294383a791c169ff
[gsac] Implement _gsac.prefix.typecheck_sccs.typecheck_w recursion after gsac.prefix.item.typecheck returns

Ignore-this: 5be06693c81f5493aeaed85ef8a57bb6

darcs-hash:20130708170414-2809a-e697a89c676b58e49b3efbae2e1cb0fa77933382
[gsac] typeenv.gskind.set

Ignore-this: 38753b1839173130a2e9bd281911b6cf

darcs-hash:20130708185355-2809a-73e2d3d025500260262dc41178a9778054da00a3
[map] ordered.map.union/branch/empty

Ignore-this: 1081cc4954aad3d7c3b474a7509b6427

darcs-hash:20130708185540-2809a-a5df001877d8ea6517d35f306d61205732f73ab5
[gsac] Test that prefix.typecheck can return environments with a specific abstract type in them

Ignore-this: 61219eed5ede7a16a87e6dead4fd92b6

darcs-hash:20130708190225-2809a-38221768843dc623e58c6f21027bc8df1e6ba4db
[gsac] Add list.t and bool.t to test-gslib in gsac directory

Ignore-this: d398d821a5b8e9413c7643b265f335cf

darcs-hash:20130708195911-2809a-ccfd2b0a65ea5607abd00a512dd248273c75cd00
[map] Implement ordered.map.get/branch where the key is in the right branch

Ignore-this: b9ef3f231356c9bdcb8889555e2e8df9

darcs-hash:20130708200413-2809a-cd58df7a39927d930fcc993f97d44f04f075734b
[map] map.union/empty/branch

Ignore-this: 1c7e4590d1d64522acc4bdce19a99172

darcs-hash:20130709200742-2809a-cde455173a6c0a058d4dd30ae8bcca0dbddf6f9f
[gsac] Handle case where var is in type environment in kindcheck

Ignore-this: bf6c5445146ece7e8c9738ced5236c6f

darcs-hash:20130709204659-2809a-0ef020416bc05e565ef6e3dff0c07387bc8b7009
[gsac] Implement parse tree for lifted kind type

Ignore-this: d13a724cdb883eb359f2b58338ba9358

darcs-hash:20130709204907-2809a-e7e61175dc6cc2d73707a0f58fd32b97906ba0bf