Text this: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra