MongoDB extension for redstone_mapper