[jhc] darcs patch: Fix kind inference + test

Sun Mar 30 19:43:26 EDT 2008 Samuel Bronson * Fix kind inference + test Also, comment out the case in kindOf that makes things look fine when they aren't -- unless of course * isn't the right kind