Lexer correction compsymbol -> symbols