Adding SyncExtract

> Lose the type annotation on the internal vals unless you really, really like them.

+1