fix(tools/proofcheck/checker/env.ml): typo
fix(tools/proofcheck/checker/env.ml): typo