add simple tactics and rewriting