Shape and dtype are often not inferred

[joelberkeley]

In constructing tensors with const, and evaluating them with eval, we often need to explicitly write the Tensor or Array shape and dtype. We'd like Idris to be able to infer these.