holeMDelete -> holeMUnwrap
Remove unused replaceWithNewHole
Can delete "type-error" wrapped expressions.