[gsac] Propagate error messages from kind-checking type functions

Ignore-this: 452700ff6a9e77fd59a89713cd535ce6

darcs-hash:20130614034237-2809a-c816cd9b47d2f7d148e36d6eb090b28fadbf238b
[gsac] cgs.typeenv test suite

Ignore-this: 7b5d869417cb4da88e427e7c805fc95a

darcs-hash:20130614035423-2809a-7b162d64a47e1539e86b3df7acdea3e4f88eda75
[cgs-typeenv] Type environments should be lists of lookup maps, not single maps

Ignore-this: 21c42002989aa7dc0a96b06c76690019

darcs-hash:20130615002100-2809a-316e4ba847792f4c1214cf7d50f74219ee348b7f
[types] Move record tests out

Ignore-this: eb41f84ea5a6d5d0368699756280729f

darcs-hash:20130615012435-2809a-508ab084a2f52ef3b2def51bc352ea903a5daee9
[types] Implement type signatures on .record / .lrecord expressions

Ignore-this: 3e9e7a5843a321562acabc437f51410f

darcs-hash:20130616040056-2809a-9167c1e01730d59273c64c0bdc4a6f5719053208
[gsac] Add type signatures to type environment combinators

Ignore-this: 1292577bdc407770d39989aa65f1cd06

darcs-hash:20130616042356-2809a-6d9af48ec59cf79f0fea04f61061225d0bf26f09
[gsac] Add gsabstype.insert and test that lookupKind can succeed

Ignore-this: 753d89cecd5c90a540047c944cdc8d1a

darcs-hash:20130616050713-2809a-d404527fd5df2c3bc4a4aef3d379135bb6dede60