Why not having a way to explicitely designate the label of the type ?
For instance foo`lab would designate the label lab of the type foo.

This is not ambiguous and furthermore it solves the problem of another
useful extension, namely anonymous record arguments of constructors:
C`lab would also designate the label lab of the argument of
constructor C.

All the best,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/