derivation-ok-restriction.5.4.2: Error for type 'aa....aa'. The particle of the type is not a valid restriction of the particle of the base.

This is an error for the type aa....aa. The particle of the type is an invalid restriction of the particle of the base.