Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications (Logical Methods in Computer Science, 2023)