add more operations from spec; begin op_compose_ext key infrastructure