[Validator]: Should the validator throw errors for non-allowed constraints?

[mmsmits]

Example: In a StructureDefinition, we change Patient.id from 0..1 to 124..127. This is obviously incorrect and not allowed to make this constraint (because it isn't a constraint). However our validator doesn't go as deep as to mark these things as errors.

Should it? Here is an example of some of these errors that are still allowed by the validator.

https://staging.simplifier.net/GoldonGit/MyPatient/~overview

Also attached if staging is down.

sd-validation.txt

[cknaap]

Related to #856

[ewoutkramer]

Yes, I consider this an example of what #856 is about.