hierarchical diagram of various type systems - View it on GitHub