Frege and Church showed that typed systems individuate properties extensionally at each type level, ...