Tweak error message and fix old comments
Remove EXPORT_DATA because it is unused
Allow type parameters in functions have kinds with arrows. Fixes #4.