Merge pull request #18 from kvark/t-ari

Arithmetic proxy sum models
ARI - implemented tune configuration for counting the lost bits.
DC - fixed naming for latest rust-pre-0.10 compatibility