Add a comment and an assert to explain the structure of "fun" in lambda_apply.
This helps to document the "calling contract" of the internals of the evaluator.
Authored by: david_costanzo 2026-04-19
Parent: [r6163]
Child: [r6165]
