lazylean, a lazy-evaluation Lean kernel, competes in the Lean Kernel Arena