Indeed many languages have holes. Hazel is different by bundling an IDE with the language that only allows for direct and valid manipulations on an AST.

You aren't writing code in a text file, but rather in a very constrained graphical environment.

The bet they're making is that in return for giving up this flexibility you hopefully get powerful refactoring and code analysis capabilities.