Fix: a minor type matching bug for tuple types;
Add: a minor fix/improvement to the handling of process auxiliary data.