[Eva] Structure: adds data to the shape leaves.

In abstract.ml, the structure of compound abstract values, locations and states
carries the first class module of their leaf components as data.