finished update (Const no longer needed);
use metadata of lexbuf in lexing/parsing to report errors (easier)