TVM terms: relay, topi, tir, te

[tqchen]

good summary, see also https://tvm.apache.org/docs/dev/index.html