Op Rename

whiteboard:op_rename

The op family is `whiteboard.*` (`whiteboard.pin` / `.focus` / `.ls` / …), renamed from `wb.*`: `wb:` is the WORKBENCH namespace, and an op family spelled like a namespace it does not belong to invites both to be read as one. The pins Set keeps its `wb:` prefix because it is stored on the bench; only the ops are renamed.