Consider re-introducing within-shape scaling constraints

[lukstafi]

My first attempt at it in equational shape inference migration has had lots of bugs so I'm removing it for now. Let's first add fully-featured convolution support to indices and dimensions, this will drive the design of more expressive shape constraints.