Free Heyting algebra