Falling and Rising factorials of integers are integers

Assuming both arguments are integers, the function output is also known to be
integer.

I have also added a test for the output type of `binomial(n, k)`.
My bad, it's not your fault - but your binomial test is wrong.

It seems we either should correct the binomial definition or \_eval_is_integer handler for the binomial...