Restricting the next predicted token to adhere to a specific context free grammar seems like a big step forward in weaving language models into applications.