Added some invariants.
Added more invariants based on review.
Added invariants for operator properties.
Merge pull request #18 from isupeene/invariants

Added some invariants. Merge #18.