Renaming Op -> Yoneda, UnOp -> Op