Add MonadTrans and MonadIO instances for PropertyM.