Beginning of section on type inference.