[C++-sig] Implementation of proper overload resolution

[Neal Becker]

I am concerned that this doesn't introduce too much overhead for the common 
case where there is no ambiguity.  I suppose this has been optimized?