That's nice, but who is working on porting this to the typescript type checker?