A Notional Theory of Syntactic Categories