minor edit type-inference-part-1
begin type-inference-part-2