Basic expressions similar to LowUIR.Expr.

IR Label. Since we don't distinguish instruction boundary in SSA level, we want to specify where the label comes from.

Pretty printer for SSA.

A program is a list of statements.

IR Statements.

SSA variables always have their own identifier.

Type representing destination of an assignment.