Implemented basic model for Databases as sequence of transactions with exponential decay. Also switched ABC and AO serialization to the binary package, since 'binary' is conceptually more about external formats (and also has a more solid implementation, e.g. isEmpty works properly).