A reasonable first draft to carry out the
plan for explicit environment blocks signalled
by constructs like [env.theorem]