The parser now runs inside the Haskintex monad. This will allow to further simplify code and make future feature additions smoother.