Jison type declarations