refactor: use simp-normal-forms for standard monadic operations#440

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

eric-wieser/better-listenleanprover/cslib:eric-wieser/better-listenCopy head branch name to clipboard