I don't know whether this belongs to part 3 or 5.

Do RolePermissions on type nodes have any special meaning?

For ObjectTypes, EventTypes and VariableTypes:
Should these RolePermissions by default be propagated to the instances (like the Value and DataType attributes on VariableTypes)?
Are there some implications, like for data types as "do not allow more than for the type"?

For DataTypes:
Certain permissions on data types could mean, that the entire data type shall not be readable/writable/visible on any Variable or VariableType.

For ReferenceTypes:
Missing browse permissions on ReferenceTypes could mean that all references of this type shall be hidden from the user.

For all those possible meanings, shall they also apply implicitly to all subtypes?

Please clarify and document any implied meaning or explicitly document that there is no implied meaning on type nodes.
Note: Anyone who defines an address space can achieve most of those behaviors by setting specific RolePermissions to all affected nodes (e.g. all instances of an ObjectType).