CmdLang-PartMonad: not-⇓-implies-⇑.