Fix a bug in SETENV*
Get rid of SETENV*; SETENV now takes keys instead of a complete table