chore: fix a few typos in `Lam_compile_main` #3916

Job	Run time
Build and test (Ubuntu) (ubuntu-latest)	2m 54s
Build and test (Ubuntu) (ubuntu-24.04-arm)	6m 24s
Build and test (Ubuntu) (macos-13)	5m 31s
Build and test (Ubuntu) (macos-14)	4m 23s
	19m 12s

Provide feedback