Added complex arithmetic contracts.
Minor formatting.
Merge pull request #9 from isupeene/complex_contracts

Added complex arithmetic contracts.