Probably should use `LexingState` since it's typedeffed and used above