Termination edits for "Default" functions

[sweirich]

Now that we have an edit to change the type of a definition to include a "Default" constraint, we have to think about the interaction with termination edits.

In particular, they don't work together --- the type change confuses things. For an example where this is necessary see collectNAnnBndrs in CoreSyn.