Attempt to make definitions neater:
1) word_lemmas unchanged, contains the stack swap lemma
1) word_proc should contain preliminary definitions used across all the
parts of the transforms e.g. apply_color or other things that do not really fall
anywhere
2) word_live should contain things about the liveness analysis
3) reg_alloc should contain the register allocation, ideally, this
should not have to look at word_lang at all
4) word_ssa (not added yet) should contain the SSA/conventions pass
5) word_transform (not added yet) should contain the final definition
of the full transformation together with the necessary linking theorems
Start defining an SSA+CC pass
Finish preliminary def of the SSA/CC pass