Replacing muAll and muOr with calls to ALL and OR: (1) pass closures to
ALL and OR to enable re-evaluation; (2) minor fixes.