From an old version, no longer used.
Got decreasing-free-arg working. About to implement degenerate context replacement within fixpoint fusion.