add expressions base
add addition
add conjunction
add disjunction
add equal
add implication
add increment
add multiplication
add negation
add subtraction (?)
add variables, constants and Nullary operations
add all operations include to header Operations.hpp
CMakeLists.txt