Is there a difference between "lower" and "legalize" in TIR?

Development
5

So technically I don’t think they are very different in behavior, i.e., the type of functions are the same in TIR. It’s more of a conceptual difference for now.