[RFC] _Optional: a type qualifier to indicate pointer nullability

There is a verbose and somewhat similar approach:
[RFC] New attribute `annotate_type` (iteration 2)