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)