[x] Removes the unused Logger monad, as a consequence, it also removes the unused MonadError constraint and instead just throws errors; the errors we had were never caught anywhere anyway, lets deal with adding more monads only if we need them in the future.
[x] Renames LanguageSMTBranches to LanguageSymEval
This PR addresses #106; it:
Loggermonad, as a consequence, it also removes the unusedMonadErrorconstraint and instead just throwserrors; the errors we had were never caught anywhere anyway, lets deal with adding more monads only if we need them in the future.LanguageSMTBranchestoLanguageSymEval