fix(library/standard): fix typo, comment unfinished theorems
fix(library/standard/Makefile,extract_deps): use ENV_VAR LEAN if exists
refactor(library/standard): moved temporary product and some useful theorems to kernel