fix: missing `whnf` in `mkBelowBinder` and `mkMotiveBinder` · leanprover/lean4@72c900a

Canceling since a higher priority waiting request for 'CI-refs/pull/2991/merge-pull_request' exists

The operation was canceled.

No files were found with the provided path: ./coredumps ./build/stage0/bin/lean ./build/stage0/lib/lean/libleanshared.so ./build/stage1/bin/lean ./build/stage1/lib/lean/libleanshared.so ./build/stage2/bin/lean ./build/stage2/lib/lean/libleanshared.so. No artifacts will be uploaded.