Advance 'copy-types+' to copy-types
+ copy of ##synchronous impl, and some basic tests