Fixed extracting type variable names for 'kinded' variables

...as described in e.g.

https://www.haskell.org/ghc/docs/7.4.1/html/users_guide/kind-polymorphism-and-promotion.html
Added support for types declared via 'newtype'

E.g.

  newtype Age Word = Age Word

or

  newtype Wrapper a = Wrapper a
More graceful handling of unsupported types

'fail' yields a more useful error than "pattern match failed". Can be
triggered with

  makeCata defaultOptions ''(->)

right now.
Whitespace cleanups
Bump version to 0.2.0.0

Now works with newtypes.