Add warnings, failures notifications, and negation notation. Bonus class refactor and containsKeys method.