Combinators for pinpointing a particular dimension in PushMultiDim
These combinators allow operations along once particular dimension,
for example reversing or concatenating along a dimension.
Remove a commented out type signature.