fix: numerical
add external state to parserMonad.t
contextを導入し、prefix,subtype_markなどのパーサーを区別