free Heyting algebra