Move AddNames call from Sugaring to CodeEdit
setInferredType on hole is holeWithInferredType