extendFrom
An extending type can specify an sd property for a claim that is marked as allowed in the extended type (or where sd was omitted), changing it to either always or never. However, it MUST NOT change a claim that is marked as always or never in the extended type to a different value.