moved Not as direct subclass of Expression, and the Operation class dfn into the generator function. prettier.
removed superfluous get_strs method
added unconditionals