[DISCUSS] Embed more Bound Information into Var or Expr

[sergesg]

OK. So can you give an example about using assert_stmt to embed bound infomation? And can this infomation be propagated to simplfy codegen? Thank you so much