Version 2 of TRL, the term rewriting language