A binding, which must be an id or op, translates as its constituent id or op. Except at the top level, bindings are translated with a unique extension.
