This is an enhancement request.
Sometimes, my type system can detect expressions that are technically allowed, but are superfluous or can be written in a better way. In these cases, I would like to give a warning. Validation rules in XSemantics currently don't support this.
Adding syntax similar to error "error description" would resolve this, e.g.,
warning "warning description"
source sourceObject