Fix/unit fun val 879#880

Draft

TimWhiting wants to merge 2 commits intokoka-lang:devfrom

TimWhiting:fix/unit-fun-val-879

Commits on Mar 26, 2026

fix unit fun val #879
TimWhiting
committed
restore only one of the same definition is considered per implicit (accidentally removed in last commit)
TimWhiting
committed