SisyphusI now does what it should do, given a toString for Env,
which is yet to be written.