Abstract sync into a separate set of types

Signed-off-by: Jonathan Rudenberg <jonathan@titanous.com>