Not a big deal but I noticed there is a repeat of the inheritance principle section in the intro and the common principles parts.

Also I wonder if some sections of intro would not be better in common principles.

e.g definitions, compulsory/optional, raw VS derived