Refactoring rule/lexeme resolution
Refactoring rule/lexeme resolution: t+