[kibwen]

  > The type system grows more powerful (and more complex) 
  > every time I revisit Rust, it seems.

There have been no additions to the type system since well before 1.0. I'm curious where this perception is arising from.