environment::environment(unsigned trust_lvl): environment(trust_lvl, mk_id_normalizer_extension()) {}
environment::environment(unsigned trust_lvl, bool prop_proof_irrel, bool eta, bool impredicative): environment(trust_lvl, prop_proof_irrel, eta, impredicative, mk_id_normalizer_extension()) {}