Added lexical bindings, as described in http://jdevuyst.blogspot.com/2013/11/how-termcat-parses-mathematical.html