Any matcher can have any example value, no restriction (as long as the example value can be JSON encoded)?

The example values should represent what the matcher is matching. In the customer facing DSL, this should be validated.