The primitive we define here
https://github.com/bittide/bittide-hardware/blob/main/bittide/src/Clash/Cores/Extra.hs
is functionally equivalent to XPC CDC SINGLE and should be replaced by that primitive from clash-cores. This code can then be deleted from the repo.