I think this is what we're going with:
1. Fixed ENTASK termination bug.
2. Added RESTART termination for tasks. Programs always did, but really tasks should too.
3. Run to Program unconditionally terminates all code.
4. HALT unconditionally terminates all code in halted task or program.
5. EXIT and RESTART terminates as before, active stages and non-stage code only.
I wasn't strongly opposed to having EXIT and RESTART do a full termination, but that could change behavior in normal operation. First, do no harm.