Add initialInferContext, use that in inferAddImplicits