Remove (error "synifyKind") to use WithinType, to allow haddock to process base.
Changes to reflect changes in GHC's type HsTyVarBndr
Add spec tests.

This adds tests for all elements we can create during regular
parsing. This also adds tests for text with unicode in it.