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