special forms that work with boolean context semantics `Truthy`/`Falsey`

```py
t: Truthy = None # error: `None` can't be `True`
f: Falsey = 1 # error: `1` can't be `False`
```

maybe also a `helpful-bool` which only accepts types that implement `__bool__` or `__len__`