The algorithm for functional interface parameterization is unnecessarily convoluted, and fails to account for the possibility that the target type contains inference variables. It should be cleaned up.

Also should update inference to account for the related changes in JDK-8029660.