Add: support for variadic argument list for code sections;
Fix: a minor type matching bug for variadic tuples.