KERML — validateSpecificationSpecificNotConjugated Typo and over Constraint

Constraints section
2nd sentence:
"The specific Type of a Generalization cannot be a conjugated Type."
1st issue, typo: Replace Generalization with Specialization

2nd issue, serious: This prevents Conjugated Types from specializing the Conjugated Types of their originalTypes more general Types.

We probably should allow Specialization between Conjugated Types if their originalTypes have the a Specialization relationship (in the same direction). Or maybe it's implied?