refactor(library): using section variables
fix(frontends/lean/decl_cmds): do not allow section parameters/variables to shadow existing parameters/variables