chore(frontends/lean/parser): minor cleanup
feat(frontends/lean): variables/parameters and check commands have access to all section variables/parameters, closes #231