Simplify the implementation of First
Refactor LALR