have variable introduction make sense

The introduction of type inference starting on line 406 should reference type inference.