Modularization
A little bit more documentation
txn::del_exact_value checks state before action
Privacy fixes

Some of publicly available types are now re-exported from lib.rs