Hilbert modules—square roots of positive maps