Added test for phantom types

PolyKinds conditionally enabled.