Creating data structures for hnf

create a structure (and associated methods) for:

• a variable
• a clause
• a formula for HNF formulae