Actually, they are not needed, because you can say `user.VertexRep` instead of `FieldType[user.type, user.Rep]` or any alias of it. 
Also, to clarify things, I would name current `Rep` as `RawRep` and this `VertexRep` thing as `TaggedRep`.