Extended data structure to support tree structures
Added basic print function for displaying formulas
Adapted print function to hide parentheses for atomic formulas
Added start of better parsing function
Actually use printFormula to display the formula
Added basic parser for parsing formulas with connectives