Labels for flow-control and proposed type-tag bits