spec: Add generic specification of Operator and Register. Allow LabelDecls to prefix some Directives.
spec: Add binary literal.