Removed Clause - implementing a 2D array structure.
Added Parser - same as parser from last project with slight modifications.
Fleshed out most of the functions for formula - *NONE* of them are tested.