added negation, new validators, fixed bugs, updated README