Progress is slow, but rough type inference is working ☀️

Left: Before conversion

Right: After conversion