Implement variadic arguments.
Support union variadic arguments and add tests.