Added some flexibility in the expression parser to ignore spacing
commands
o changed the syntax to make assertions into commands instead of
environments. It allows us to free the LaTeX stylesheets from any
notion of align vs eqnarray
o improved the variable scopes in the parsing