[jhc] darcs patch: Fix kind inference + test

[Samuel Bronson]

On Sun, Mar 30, 2008 at 10:03 PM, Samuel Bronson <naesten at gmail.com> wrote:
> Sun Mar 30 19:43:26 EDT 2008  Samuel Bronson <naesten at gmail.com>
>   * 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

Hmm. This doesn't actually pass... goofy me...

After adding a "main" to the test, I find that MetaVars are leaking
into the .ho file...