anchor.diff:  
         | _ -> raise (Error("Missing name in binder", b.brange))) (env, []) binders in
       env, List.rev binders
  +
  +let push_reflect_effect env quals (effect_name:Ident.lid) range =
  +    if quals |> BU.for_some (function S.Reflectable _ -> true | _ -> false)
  +    then let monad_env = Env.enter_monad_scope env effect_name.ident in
  +         let reflect_lid = Ident.id_of_text "reflect" |> Env.qualify monad_env in
  +         let quals = [S.Assumption; S.Reflectable effect_name] in
  +         let refl_decl = { sigel = S.Sig_declare_typ(reflect_lid, [], S.tun);
  +                           sigrng = range;
  +                           sigquals = quals;
  +                           sigmeta = default_sigmeta  ;
  +                           sigattrs = [] } in
  +         Env.push_sigelt env refl_decl // FIXME: Add docs to refl_decl?
  +    else env
   
   let rec desugar_effect env d (quals: qualifiers) eff_name eff_binders eff_typ eff_decls =
       let env0 = env in
  
positive.code:                actions     = List.map erase_action ed.actions
            }
        in
        let maybe_erase_univs_sigelt se =
            match se.sigel with
            | Sig_new_effect ed -> {se with sigel=Sig_new_effect (erase_univs_ed ed)}
            | Sig_new_effect_for_free ed -> {se with sigel=Sig_new_effect_for_free (erase_univs_ed ed)}
            | _ -> se
        in
        let en, pop_when_done = Env.prepare_module_or_interface false false en m.name mii in
        let en = List.fold_left
                      (fun env x -> Env.push_sigelt env (maybe_erase_univs_sigelt x))
                      (Env.set_current_module en m.name) m.exports in
        let env = Env.finish en m in
        (), (if pop_when_done then export_interface m.name env else env)
  
negative.code:         let env = push_sigelt env (U.action_as_lb mname a) in
          push_doc env a.action_name doc) env
      in
      let env = push_reflect_effect env qualifiers mname d.drange in
      let env = push_doc env mname d.doc in
      env, [se]
  
  