[gsac] Get rid of encapsulation-violating gsdl.cgs.typeenv.gskind.set and restrict gsdl.cgs.typeenv.gsabstypenm.insert (nee gsdl.cgs.typeenv.gsabstype.insert) to just handle the tyvar entry in the env, not the abstyvar entry

Ignore-this: b5b85b5e876f824286c17abd645f0ab7

darcs-hash:20130714045518-2809a-9fe69d1e872e60c8098e2e4f0103e2328fffe54c
[gsac] Allow extracting 'expansion' of type variable from type environments: abstract type names expand to 'abstype nm ki'

Ignore-this: 6c7add0c6df2cd63d86bc2ac6c8ba64e

darcs-hash:20130714163520-2809a-56f50ad68dbdf4fe7244d0db8d9448d90bc2090f
[gsac] Normalize type variables in the environment in gstype.compile

Ignore-this: 3a741db10bc16e84f7080ab0cb18a4f3

darcs-hash:20130714174105-2809a-6cd3450453514fc9be184be77c4c5297b86b6966
[gsac] Implement typeexpansions field in typeenv.overlay

Ignore-this: b454632c92a8169d8288d14da5d469f8

darcs-hash:20130714174954-2809a-5a6cb9a25e2fe4801aa9e1a18d73a1ced8019fff
[gsac] gsdl.cgs.typeenv.typeexpansion.t.out

Ignore-this: 1f266c26bd87919d05ffc6129fb4c8a4

darcs-hash:20130714175409-2809a-a7de038cb46f50bc061f2e86024d8169528802e3
[gsac] Fill out gstype.compile/var (variable expansion found in environment)

Ignore-this: 1be689a9154b9fef32d7820ed0b6b48d

darcs-hash:20130714175523-2809a-1fd8f0b934bf5c42d77502b81be19f9711c1e139
[gsac] Implement 'expansion' inserted by gsabstypenm.insert

Ignore-this: 99bb94373d0f0abe5d8ef9a529d75aaa

darcs-hash:20130714230210-2809a-0f93c7c0013b8156713857652c88b9a65ee4d8d5
[gsac] Fill out gsac.gstype.compile/var

Ignore-this: 8320939fc76be37d30a969794492b73e

darcs-hash:20130715025106-2809a-4084a1c700b412b98c8a8d8a247d75e61de0e60a