Reimplemented BinaryModel. Added sum proxies for binary model and frequency table. Implemented tests for BinaryModel.
ARI - Implemented a combined test for proxy models.
Merge pull request #18 from kvark/t-ari

Arithmetic proxy sum models