Progress in types