support parsing Matlab expressions
This is required to parse proof obligation statements. And is thus related to #15 (closed).
However, it might be useful to parse Matlab expressions in general, thus a parse should first parse Matlab before it might be handled as a proof obligation statement.