refactor(frontends/lean): rename parser methods is_section* to is_local*
fix(emacs/lean-syntax): glitch on syntax highlight
checkpoint