Add prose describing fold codegen.  Add SyncCapability datatype.