Constraint bounds on attributes in ISA requirements

**Is your feature request related to a problem? Please describe.**
We need to be able to specify bounds on required properties in ISA constraints, the same way we can specify bounds on default metrics such as error rate.

**Describe the solution you'd like**
An example of an implementation can be found in #3198 . We need to ensure at the same time that such information can be stored with a small foot print.

Start by reviewing the implementation example in #3198 and trace how ISA constraints currently represent required properties and bounds. Define completion as supporting bounds on required attributes while preserving the requested small storage footprint; the issue does not name specific files or tests.

Written by the indexing model from the issue text.