method add_binding =
                  fun bi -> {< env = fold_binding_vars S.add bi env; >}