make KindGroup a real type, KindEnv now has its associated type map filled in properly.
make KindGroup a real type, KindEnv now has its associated type map filled in properly.

darcs-hash:20061020043354-1a7c6-67b29c408e1c02742a48afdfa6220da3d258d6db

jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc,jimcrayne/jhc