Implement global environment with symbol values and add SETQ and PROGN