I know they simply cannot have several of them due to the language design choices. I know they are working on some like generics. Others like sounder typing, be

I know they simply cannot have several of them due to the language design choices. I know they are working on some like generics. Others like sounder typing, better type inference, and functioning concurrency primitives seem like sound goals for any language that already has those things. Which of those features have they said the don't want?