swift234

Split off a PolymorphicFunctionType from FunctionType.  I am
*positive* that the behavior here is blatantly wrong in a lot
of places, but I'm going to leave it to Doug to clean up after me. :)

Swift SVN r2255