True, valdec might be too small, but I guess I just got into the habit of pretty much always type-restricting the overloading. It is just that I don't like the idea that the overloading scope gets large enough that it won't be clear what is resolving things.