Updated typeInfer.