Something resembling a proof for canonical forms.  Update my previous
statement of progress thm.  However, I want to go look at the progress
theorems in Ornela's et al's recent paper before I put more effort into
proving ours (in case they have a better statement).