8067767: type inference performance regression
Summary: Overhaul implememntation of inference incorporation
Reviewed-by: vromero