Fraenkels.
Save renderings.
More accurate treatment of symmetry and asymmetry.
Factor our a routine for generalizing on a list of constants.
Another parameter to semantic rendering: represent certain Var nodes in a specified manner.
Deal with canceled definitions.
Use the new generalize-from-constants routine.
Wrong variable indices.