There is this nice talk by Jeff about the type system:
It’s from 2017 and some details may have changed since then, but I think the most interesting takeaway message is that you should think of types as the set of values they can take, and <: is the subset relationship.