Ensure the right number of arguments used in function application

[rpip]

Currently, let add x, y = x + y works when given more than two arguments. It ignores the excess arguments, but this should be an error since add expects exactly two arguments