The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories