Arithmetic proxy sum models

The change includes reworked BinaryModel, introduces new proxy models for the frequency tables and binary models, and features tests to cover all of them.

Proxy models are useful to combine different contexts with possible different update policies.