improve readability of `service_on` in ideal uniprocessor model

This change is semantically a no-op, but it has been argued that not relying on the bool->nat coercion is more readable.

Closes: #55 (closed)

assigned to @bbb

enabled an automatic merge when the pipeline for 42008f41 succeeds

merged