Add Nor, Nand as secondary Expression operators

Implement issue #44
Add some nor/nand unit tests
Use Nor/Nand in Equal/Unequal simplify