| ERROR | The expression string should be a subtype of the type string |
| CAUSE | The expression in the generalized expression should be a sub type of the type. |
| ACTION | The type of expression should be a subtype of the type name |
| ERROR | The expression string should be a subtype of the type string |
| CAUSE | The expression in the generalized expression should be a sub type of the type. |
| ACTION | The type of expression should be a subtype of the type name |