Defsection-progn
Fancy (progn ...) with a name and xdoc support.
The defsection-progn macro is like defsection except
that it generates
(progn ...)
instead of an
(encapsulate nil ...)
This has a number of consequences, mostly having to do with the scope of
local events within the section. In short, a defsection-progn does
not introduce a new local scope, but a defsection does.
