switch to uu0.PathNotations in Ktheory and F.Current_work, remove RC.pathnotations