Towards High Performance Abstractions for Strong Geo-Replicated Systems