semantic: Discard shell types when resolving overloads.