That is, instead of returning an Abs decls result, it accepts a continuation that takes decls and e as arguments, with the decls in scope in the env. This avoids having to use refreshAbs. It wasn't a problem previously because decls only appeared in blocks, so there was only an Atom beneath them. But that will change when we add decls to binders.
That is, instead of returning an
Abs decls result, it accepts a continuation that takesdeclsandeas arguments, with the decls in scope in the env. This avoids having to userefreshAbs. It wasn't a problem previously because decls only appeared in blocks, so there was only an Atom beneath them. But that will change when we add decls to binders.