undo previous changes

in "adapt to RezkCompletion:proj-from-precat changes"