Add subst tactic notation