Text this: Consistent Batalin-Fradkin quantization of infinitely reducible first class constraints