Hole: remove param types of inferred values

Need to infer cleaned inferred value expr