関数 describeObjectDef

型そのものの性質（4節・7節の宣言）を書き出す。既定と同じ性質は書かない——「特に断っていない」ことと 同じ意味なので、並べても読み手の手掛かりにならないため。