I think that EdgeDB actually addresses a lot of your comments re "General ugliness of server-side SQL", i.e.

[ ] You cannot parametrize ORDER BY, GROUP BY, IN...

[v] type inference

[v] tuples, tuples of tuples, arrays of tuples, any combination, really

[v] Consistent exception / error handling behavior

[v] No silent data truncation in some case

[v] no NULLs -- empty sets are way more precisely defined in EdgeQL

[v] boolean expressions

Please give EdgeDB a try. Feedback from advanced SQL users is very important to us.