I doubt there is one true book for this.

For type systems your best bet is to learn languages with advanced typing features. Start with the friendly ones (TypeScript, python mypy, Rust, Haskell) and look at Idris for dependent types.

And then reread this post, and ask a lot of questions (reddit, stackexchange, quora).