The Cadmium term rewriting language.