Unify equivalent definitions of continuity

[jonsterling]

We have one definition that applies only to dcpos, and another more general and relaxed definition that also applies to arbitrary posets. I think we should switch to the latter globally, but I'm open to ideas.