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