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