Explain unfolding vars and environment vars