Attempt to beta reduce only if parameters and arguments have same shape

[odersky]

It's possible to define Functions with wrong apply methods by hand which will give an error but pass on a function that does fails beta reduction.

Fixes #21952