method add_atom = fun s -> {< env = S.add s env; >}