alphabetical, builds
move labels to webidl
role, no dup checking
port label clauses => roles
role clone; init label; no eq or subsumes
equals
basic label implementation done; no lub/glb
label and,or with roles; todo: and or with labels