zndsl: support subtracting metrics

### Is your feature request related to a problem? Please describe.

Add support for writing an asserting on `a - b` where `a` and `b` are prometheus metrics.

### Describe the solution you'd like

Example:
```
alice: substrate_block_height{status="best"} - substrate_block_height{status="finalized"} is greater than 10
```
