Fix typo in article "Type Compatibility"

[myshov]

I believe that in the computing the common usage of the term "source" is an input for some "target". So in the example of the section "Comparing two functions" "source" and "target" should be swapped.