Constraints:

Signature: CMOF_14_3_22() : Boolean;Description: 14.3 [22] A TypedElement other than a LiteralSpecification or an OpaqueExpression must have a Type
see also: https://sites.google.com/site/metamodelingantipatterns/catalog/mof/typed-element-has-no-typeExpression: not (oclIsKindOf(LiteralSpecification) or oclIsKindOf(OpaqueExpression)) implies type->notEmpty()

Signature: CMOF_14_3_21() : Boolean;Description: 14.3 [21] A TypedElement cannot be typed by an Association
see also: https://sites.google.com/site/metamodelingantipatterns/catalog/mof/typed-element-has-association-typeExpression: not type.oclIsKindOf(Association)