term-algebra (npm): Terms and substitutions for equational reasoning.
Keywords: reasoning|algebra