You can do it pretty much verbatim, with dynamic dispatch using enums and lots of pattern matching.

It gets a bit trickier when you are nesting environments for closures and the like, but certainly nothing insurmountable without a few things from the standard library.