# IntRange L, R

`L..R` class.

```python
IntRange L, R: Int == L..R
```

## methods

* .`_+_`: Self(L1, R1), Self(L2, R2) -> Self(L1+L2, R1+R2)

normal addition. Addition of `Int` and `Nat` is defined here under the pretense that it is defined in each class.

```python
0..10 + 1..12 == 1..22
Int + 0..10 == _..|Int|_ + 0..10 == _..|Int|_ == Int
Nat + Nat == 0.._ + 0.._ == 0.._ == Nat
```