Indeed, with a few preliminary rearranging transformations you can go from my categorial base structures to (notational variants of) more familiar base structures; then you can proceed exactly as before.