A generic distal tower of arbitrary countable height over an arbitrary infinite ergodic system

We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally, infinite quotients of compact groups) in its canonical distal tower.
Comment: Improved presentation and corrected misprints