feat: `LawfulMonad` and `WPMonad` instances for `Option` and `OptionT`#9932

sgraf812 merged 1 commit intomasterleanprover/lean4:masterfrom

sg/wp-optionleanprover/lean4:sg/wp-optionCopy head branch name to clipboard