KERML — Semantic constraints for subtypes of LiteralExpression are missing

The Kernel Semantic Library model Performances includes features corresponding to each of the various kinds of LiteralExpression (e.g., literalBooleanEvaluations for LiteralBoolan, literalStringEvaluations for LiteralString, etc.; see KerML specification, 9.2.6.2). However, semantic constraints requiring the LiteralExpressions subclasses to specialize these features are missing in the abstract syntax (see KerML, 8.3.4.8). Adding these constraints would also allow the checkFeatureResultSpecialization constraint (see KerML, 8.3.3.3.3) to be simplified by removing the requirement that “If a Feature has an owningType that is a LiteralExpression it must directly or indirectly specialize the DataType from the ScalarValues package in the Kernel Data Types Library corresponding to the kind of LiteralExpression.” (since this would be automatically satisfied by the implied specializations for each kind of LiteralExpression and the {{checkFeatureResultSpecialization} constraint).