Zaslat SMS: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra