Dex API too leaky: tries length vs tries

[kmicinski]

The Dex module presents a leaky API to the user: lots of record cells are mutable, which ends up being problematic when inserting items because there are necessarily implicit invariants. For example, the tries_size field has to be in sync with the length of tries. The API should be carefully redesigned so that this is more intuitive.