Nice, it would be good idea to develop CFG for this as well so can embed it into all these constrained decoding libraries