CatchKind: Kind & ("error-complex" | "error-simple")