Fix #61 and fix #58.

The fix was beautiful and simple. We use the KindOf operator
to force GHC to ignore the types and just focus on the kinds.
Comments only.
Remove now-totally-redundant Proxy args in kind inference constructors.
Fix testsuite.