add a proof of nrlycocntfun/restriction along continuous and nearly cocontinuous functor commutes with contractible colimits