Added test for phantom types

This time without PolyKinds extension.