For aggregates without an operator (COUNT), the result type is a good type for the placeholder argument.
No one needs this method, so don't bother figuring out how to do its test.
Remove collation from all string-like values.
Use the new Z-order type.
Use types translator for more of compilation process.