I've decided to fix there, because more than one `BinExp` subclasses use `compare_overload`. But it seems that all the other `BinExp`s reject `TypeExp`s when needed.

Glue-layer errors should be marked as internal errors anyway.