Document rx.lift, liftSpec
Document rx.transaction