Cholesky promotes Float16

The type promotion to at least Float32 is indeed to make use of LAPACK. Converting back down to Float16 was implemented in https://github.com/JuliaLang/julia/pull/41352 and is going to be available in v1.8.