PHP 8.1で導入された `readonly` プロパティの制約として正しいものはどれか。

PHP 8.2で導入された「Disjunctive Normal Form (DNF) Types」とは何か。