Base for menhir parser