Optimise `type: number | integer` with `minimum` / `maximum` with a single bounded instruction

[jviotti]

For example, we have AssertionTypeArrayBounded for arrays. We should have something like that to collapse the following schemas into single instructions:

{
  "type": "integer",
  "minimum": 1,
  "maximum": 3
}

---

{
  "type": "number",
  "minimum": 1,
  "maximum": 3
}

Of course, taking exclusiveMaximum and exclusiveMinimum into account.