Moved the environment datatype def

On Piazza, Claude said there is an error with the ordering of stuff in
datatypes. I moved the environment datatype definition above the
proc-val datatype so this will not be a problem