Add test file to source tarball, extra test

One of the files used for testing (`TestTypes.hs`) wasn't included in tarballs generated with `cabal sdist`.
Also, when the extension `PolyKinds` is enabled, phantom type variables must be explicitly annotated with `*`. A test case to show this has been added.