Added operator< in IntLeaf
Added operator> to IntLeaf
Started implementing algorithm 19
Add isElemOf function to decide if IntLeaf is in Z_n
Added isElemOf function to decide if IntLeaf is in Z_n