Added label type 'name

This is intended for field/effect disambiguation. "name" can be any
valid identifier. Two labels are definitionally equal if they have
the same name.