remove U:env

we weren't using this anymore, and it may be confusing when using Env's
as args
include spec in EnvView editor
add envelope Udef

the first Udef to make use of Env