Constructive typology and social theory