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