refactor: Add Xi.step_lc_l and simplify step_lc_l in FullBeta/FullEta#750

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:Xi.step_lc_lawesome-lambda-calculus/cslib:Xi.step_lc_lCopy head branch name to clipboard