Update Shape Equation Language Grammar
Clean up the grammar of shape equation language, to make it easier to be understood.
TODO: need to clean up and re-implement the shape equation AST, which is the key step
to make shape analysis support symbolic.