refactor combinators W, U and Y s.t. we can see more clearly (in Perl) which args are expected to be functions (...well, in the end everything's a function, right?)