further generalize some factories in light of Cont,pCont; Cont and pCont implemented, monad law specs impl'd and passing