[Jeff_Brown]

Sum types would satisfy the first two on that list, as well as making an ergonomic optional type trivial to define.