Bring back side-conditionals for `iMod`

Restore side-condition of iMod tactic and ElimModal TC.

This supports Iris 2 like update modalities, as used in e.g. by @jtassaro.

This commit fixes issue #154 (closed).

As part of this MR, I also removed some hacks that are no longer needed due to !107 (merged).