You might want to check TypeDB, which is a database with a strongly-typed query language: https://github.com/vaticle/typedb.

It doesn't do union types yet, but it's got type inheritance, type inference, type-safe joins (with its "relation" feature). It's quite cool what you can do with it when you can express complex domain with the language.

Disclaimer: I work there.