Adding SyncExtract

Lose the type annotation on the internal `val`s unless you really, really like them.