So far, we have focused on replacing the phrasestructure rules added to CCGbank, which are not part of the CCG linguistic theory.
the theory does include some type-changing rules, referred to as type-raising.