fixing overly-specific constraints
This MR fixes some overly-specific usage of constraints throughout core (and the terms generated in html). Specifically, the monoid instance for Props
should only require an Applicative
constraint. There is also a bit of re-use implemented in the Continuations module, where use of the kleisli
term could be better utilized.