lexer: Symbols revised, closes #12.