Towards inferred val in HoleEdit: Remove Sugar.Inferred and InferredEdit
Hole: Make paste action after verifying stored exists