For a subexpression env,
get_scheduler(env) is expression-equivalent to
get_completion_scheduler<set_value_t>(MANDATE-NOTHROW(AS-CONST(env).query(get_scheduler)),
HIDE-SCHED(env)).
Mandates: If the expression above is well-formed,
its type satisfies scheduler.