Matching the type of an actual parameter and the type of a formal parameter
The call is ambiguous if two or more matches are found at the same level
The criateria below are tried in order