A Unified Theory of Syntactic Categories