make 'nestEnv' more flexible
'NoArr' of 'ArrV' now remembers the term
refactor Environment

Now there is no 'ItemT', but simply variables, that might not have
values, and data declarations.