A small bug was introduced in cloneWanted in 8bb52d91, which meant that when cloning an evidence variable we could end up creating a coercion hole instead of a new EvVar. This patch fixes that, and adds a regression test.
cloneWanted