Added the le operation on terms.