Add support for kinds

[gnubufferoverflows]

This adds a new flag, -k, which will print the kind of an expression, using the function:

https://hackage.haskell.org/package/hint-0.9.0.8/docs/src/Hint.Typecheck.html#kindOf