Refactores types a bit and fleshed out synchronizers.  API is mostly complete and Dump is pretty close.