Fix: a type inference bug for code section parameters caused by a recent change;
Fix: handling of auxiliary methods for tuple types.