environment improved

now that a TeX environment is quasi) immutable, we don't need to have a
nested environment class, as each nesting level has its own environment
instance
enriched parser with more expansion