New article In search of a comprehensive type design theory, by Peter Biľak