[TVMScript] Distinguish LetStmt and Let expression

[junrushao]

As the legacy behavior of previous generation of TVMScript printer, LetStmt and Let expression in TIR are printed in the same syntax, i.e. T.let. This could be confusing and misleading at times.

This PR introduces a new printer behavior in a backward compatible way. While ensuring all legacy T.let can be parsed properly, we introduce different syntax for each of them.

For LetStmt in TIR without concise scoping, the new syntax is:

with T.LetStmt(value) as var:
  ...

which was:

var = T.int32()
with T.let(var, value):
  ...

For let expression in TIR PrimExpr, the new syntax becomes:

x = T.int32()
T.Let(x + 1, where={x : 1})

which was:

x = T.int32()
T.let(x, 1, x + 1)

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• cc @Hzfengsy, @shingjan _{See #10317 for details}

_{Generated by tvm-bot}