Another point I wanted to address is that people will tend not to fight the language. Make types harder to create than necessary? You'll have less well-typed pr

Another point I wanted to address is that people will tend not to fight the language. Make types harder to create than necessary? You'll have less well-typed programs. Make types syntactically light? You'll have more well-typed programs.