feat: add Lean's scoped_env.h
cp