Added more top-level comments in the datatype- and object-property hierarchies.