added Negation files to repo
starting to write machinery for tableaux rules