[DISCUSS] Embed more Bound Information into Var or Expr

[junrushao]

It’s not supported yet in TensorIR, but will be a good thing to have in the future