A theory of structural universals