the only difference is that I need the 'ANY' annotation when declaring
the type as such kinds are never automatically infered at the moment.
I may just support the 'exists k . k' syntax directly in kind
annotations actually eventually, I support it for types and it is
handy on occasion.
John