Correctly clone the function with the extra argument types. Now we need

to modify the function next.

This also properly recycles functions so that we don't get exponential
code blowup in the common case.

llvm-svn: 2049