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

[KotlinIsland]

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__