Split vars and labels

Split constructs for var and label binding into two separate
abstractions.

Also, more systematic organization of optimizations.

Author: odersky