Handle existentially quantified type variables in datatype declarations.
Only generate Lift subdictionaries if kind of type variable is *.
Make -Wall -Werror clean.
Bump to v0.6.