First draft of an update to the Overloads chapter.

* Attempts to clearly define the algorithm for overload matching.
* Describes checks for overload consistency, overlapping overloads, and implementation consistency.

Author: erictraut