Let iAlways clear the spatial context
Right now, iAlways
complains about the spatial context being non-empty. Same for iIntros "!#"
. IMHO it would be nice to have a way to say "please make the context empty if it isn't". I suggest for iAlways
to do that.
This is similar to the difference between iIntros "!>"
and iNext
-- the latter may affect the context, the former will not. Furthermore, this is backwards compatible because iAlways will now only succeed in strictly more cases.