Automatic transformation of `Option<()>` to `bool`

[ptal]

We could probably insert semantic action to keep the core typing system simple. Also is it really wanted?