You need a higher level perspective shift to realize that the orm is actually the uglier abstraction then just using plain strings.
What I find is that a good ide or editor is capable of doing this for a string if you tell it what that string is.
Static checks are not a reason to create a whole new abstraction over a language. As I said it's a sign that new features are needed as an extension. In terms of type safety for SQL I find certain ides already cover most of this so even a typescript style extension on top of SQL is not needed.