don't consider abstractions and overloads equal, for #1415