Add α-renaming pass for K3 Expressions.