fix #7516, update docs about constructors

I also realized that only one default inner constructor for parametric
types is necessary, since it is not possible to override these.