TVM terms: relay, topi, tir, te

Have you found out anything about explicit relay to tir translation. I am currently wondering, about the same question.