Update to simpler MAST::Label API.

We already were using labels as their own identity in practice, so
the time and memory involved in storing a name in each of them was
a waste.