linear-grammar-0.0.0: A simple grammar for building linear equations and inclusive inequalities.