Title: on type designs past and present