Let iAlways clear the spatial context
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.