Trying to use AbstractDims but with concrete dims
Added __eq__ to AbstractDim to support expr simplifications

So that AbstractDim(1) == 1 -> True and AbstractDim(-1) == -1 -> True.  Useful
for simplifying expressions.