fix(library/standard): fix typo, comment unfinished theorems
fix(library/standard/Makefile,extract_deps): use ENV_VAR LEAN if exists