Added Dual.
Added identity laws.