Why Lean 4 replaced OCaml as my Primary Language