Simplify ValidationResult and EvaluatedConstraint
Enable default property definitions
Add default property definitions to Dsl
Improving test coverage
Missed an encoding comment