Ask HN: Do types make a language more expressive, or less?

In say, JS vs TS, have I made the language more expressive by adding a type system, or less?