fix: missing pures in the Id monad#439

chenson2018 merged 4 commits intomainleanprover/cslib:mainfrom

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