Fixed grammar to handle |-x-3|
Fixed build on clang
Renamed Instrs to MathVm, Ctx to MathCtx, added some abstractions