2013-09-02-15.07.34: src/lib/compiler/front/typer/main/type-type.pkg:  Tidying.