null object implementation finished
specs2 added
added plugins.sbt file
interpreter implementation + UTs
negation & variables
conjunction & disjunction
interpreter finished
visitor (WIP)
depth count visitor
visitors done