Here is how to suppress scopes.
A facility for showing and hiding the scope commands.
The simple model has not inference hints to display.
Festoon the advanced program with scope includes.
Permit the inference program to be adjusted dynamically.
Draft checkboxes for selecting among a few inference programs.

Unfortunately, the backend with the thread needs to support the
combinators for this to work.
Disable slice in the simple model since there are no hints.
Disable enumeration since it breaks in Puma.
If at first you don't succeed, hide all evidence that you tried.
Actually eliminate scopes from recursive expressions when desired.
Revert "If at first you don't succeed, hide all evidence that you tried."

This reverts commit b8228909ed4af23c382cc5d89298fdbd6af2c658.