2013-09-02-14.44.03: src/lib/compiler/front/typer/types/type-types.api: Renamed type -> typoid as first step toward switching from typ/type to type/typoid nomenclature distinction, for clarity, greppability and the greater glory of Beelzebub.