Builder of parameter-argument pairs of a function call. Allows binding each argument to its corresponding parameter, and may throw an exception if some cannot be paired.