{-
Returns `True` if a number is `+0` and returns `False` otherwise

Examples:

```
./isZero +2 = False

./isZero +0 = True
```
-}
let isZero : Natural → Bool = Natural/isZero in isZero