Rewriting with Tornado