redefine Transaction as an Environment transformation and expose the map of the projector