Basic Logic Parser added
freeVars abstracted