> How many practical type systems do you know that are not Turing-complete, yet powerful enough as development aids?

Dart has a pretty sophisticated type system — generics, generic methods, function types, subtyping, etc. — but isn't Turing-complete as far as I know.