Merge pull request #23 from kvark/t-ari

Arithmetic module split
Merge pull request #24 from kvark/t-ari

ARI - generalized model input
Fixed push_at_least to comply with latest Rust
ARI - refactored Decoder to not require start() call