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