Feature request: First class labels

[Walter Bright]

They're a good idea, but they are a fair amount of work to implement, 
and their utility is not much beyond doing interpreters.