[DISCUSS] Embed more Bound Information into Var or Expr

So can we embed bound infomation into te.var now? Maybe assert_stmt?