Not quite true, depends on the flavor of the type system you use. Church's simply typed is not, but other type systems are.

I think one way to make it Turing complete is to add typing rule for Y combinator as an axiom to your simple type system, but I am not sure.