New example, refined cps-example, realized unbounded (Option-codomained) movement as better default.