Optional, union, and the four kinds of nothing