Auto flow type annotations

The conversion is done in less than 100 code lines and uses Iroh.js to collect the runtime type data.