Rich Errors, a.k.a. Error Union Types: Motivation and Rationale