Even-fold Sobolev extension

Imported from the Apache-2.0 CoarseGraining development at commit c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.

Exports the complete approximation, transport and extension construction.