Katara: Synthesize CRDTs from Sequential Types