Added some more comments around Type Inference Propagation.