made evaluator for propositional logic
added builders
added TODO