streamlined algebraic structure definitions
initial Heyting algebra code (only implements/tests lattice laws and operations)