Empty/Never/Throw operators page & diagram