Frontend for specifications. Lex and Yacc Done.