DataWrapper and make_data_wrapper take shape arguments: does that make sense?

IIRC the intention was to use these to pass the same shape in symbolic form (if applicable) with the idea that the actual size would constrain (fix) the symbolic parameters. But I'm no longer sure this makes sense. After all, the constraining would happen as soon as the array "meets" a symbolically-shaped counterpart in (e.g.) arithmetic. Thoughts?

@xywei Do you remember if that 's accurate?

cc @kaushikcfd