An Env feature persists throughout the life of the env, so many optimizations
can take advantage of the Shape analysis done by ShapeFeature.