2013-09-09-23.20.05: typ/type -> type/typoid conversion essentially complete.