add optional aux param to tupleize
fix several problems in AppliedFunction
replace custom code with validate$typeparams