On the Calculus of Syntactic Types