A Brief History of Type