Redefine the way shape inference takes place.

[echu]

Attach abstract shape to initial variable and parameter declaration. This is the easiest way to keep track of which shapes are equivalent to which other ones.