Text this: Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications