Add: support for typed valist (...:type) in variadic tuple types and routines;
Fix: a few minor bugs.