deriver
That doesn’t really make sense with CA derivations (and wasn’t even really correct before because of FO derivations, though that probably didn’t matter much in practice)
App
computeClosure
RealisedPath
copyPaths