> Why do we not generally see languages which are minimal wrappers around these typed lambda calculi?

If you add parametric polymorphism, you're not far from ML, which lives on these days as Standard ML and somewhat through OCaml.