The proof-theoretic analysis of transfinitely iterated quasi least fixed points