Free Heyting Algebras: Revisited