make path notations a submodule of uu0, which has to be imported explicitly
added comment about inserting PathNotations module to uu0
switch to new PathNotations module from uu0 in RezkCompletion
switch to uu0.PathNotations in Ktheory and F.Current_work, remove RC.pathnotations
put some spaces around = signs
changed module definition for pathnotations in uu0 so that they are not imported into uu0 (since they are not imported into any file of Foundations yet)
Merge pull request #31 from benediktahrens/overhaul

Overhaul I : make PathNotations a submodule of uu0, switch all packages to use that submodule
Merged after having ok by Dan and Vladimir. Last commit serves to not import pathnotations to uu0 (yet).
Merge pull request #11 from UniMath/master

Updating my fork from the main repository