Added a new package for boolean expression simplification.
Implemented Bit and Term class.