The argument section describes the type/domain of each argument. If it
is a + argument, then the built-in always tests if the argument
is the right type/domain. In some cases, types/domains mentioned in
the Arguments section need not be the smallest set of all acceptable
arguments.