What's essential for a modern type system?

Assuming static typing (but with inference) what do you folks think is essential?

Algebraic + traits w first class functions? (Fairly common) Dependent typing? Semantic typing?

There's lots to choose from outside of legacy languages.

Some of these ideas will find their place and flourish. Which combinations does this community see as strong/essential for the next generation?