Flow gives you all of that. The fact that the type checker is separated from the emitter does not mean you can't get any of that.