Removed a performance TODO that seems to be largely resolved for practical purposes.
Made env_t::extproc pool (the field, not the pointee) be const.
Made env_t::trace be const.