2013-11-15-22.51.02: Random tidying centering on src/lib/compiler/front/typer/types/unify-and-generalize-types-g.pkg.