fix: missing pures in the Id monad#439

eric-wieser wants to merge 2 commits intomainleanprover/cslib:mainfrom

eric-wieser/missing-Id-pureleanprover/cslib:eric-wieser/missing-Id-pureCopy head branch name to clipboard