Release v5.1.0

New functions

• proveUnion: allows to combine multiple evidences.
• proveNull: proveUnion($mixed, [proveInt(...), proveNull(...)]) (inferred as Option<int|null>).
• asEnumOf: allows to cast string|int to enum instance.

Static analysis improvement

• toMergedArray: More specific type.