Add support for phantom types

[veej]

If a generic type is used just as a phantom type (i.e. it doesn't appear in the fields definition), we should just mark it as phantom, without even following the chain of all its fields.
Types used only as phantom should be generated as unique symbols