Affect the effort made in type-reasoning, non-locally
Please see set-dwp, which is the same as set-dwp!
except that the latter is not local to the encapsulate or the
book in which it occurs. Probably set-dwp is to be preferred unless
you have a good reason for wanting to export the effect of this event outside
the enclosing encapsulate or book.