WIP: getting Replication closer to compilation