Similarly to numpy, could we had an attribute to tensors / variables so that `len(x)` returns the size of the first dimension of `x`?