The Meaning of General Theoretical Sociology: Tradition and Formalization