Optimizer: Added more rules for negation and complement.
Optimizer: Syntax cleanup of some rules.
Added some references to PKCS#1