refactor(Semantics): drop ProbMonad + redundant Cont laws for mathlib#16

hawkrobe merged 3 commits into

mainhawkrobe/linglib:mainfrom

refactor/probmonad-to-mathlibhawkrobe/linglib:refactor/probmonad-to-mathlibCopy head branch name to clipboard