Fix named argument unification#761

Draft

TimWhiting wants to merge 1 commit intokoka-lang:devfrom

TimWhiting:unify-named-args

Commits on Jul 22, 2025

Make sure that the eta-expansion behavior matches the unification behavior for named arguments.
TimWhiting
committed