Code Editor : patch-type-declarations