fix(frontends/lean): EXTRA_TYPE info
feat(shell/lean.cpp): use trust_lvl=10000, flycheck for EMSCRIPTEN