A Notional Theory of Syntactic Categories by