2014-01-17-11.52.45: src/lib/compiler/front/typer/types/:  For clarity and consistency renamed unify-types.pkg -> unify-typoids.pkg, other light tidying.