Update spec to clarify format of returned keys.
add OpLst to backend