2013-09-15-10.08.10: src/lib/compiler/front/typer/types/unify-and-generalize-types-g.pkg: Tidying.