Repaired effects library, less attacks in applyTactic
Vim support for the new tactic keywords