make label uses their own statements
add a semantics fn for label lookup
install labels as constant valued variables & look them up as such as well
bring in working label creation & usage