Wish this project had more traction. Typechat with type checking could generate lots of synthetic data for model training too