Fix typing of application. Apply the polymorphic code when either the function or its argument have variables.