Introduce some path notations in Foundations, do not use submodules in Foundations

This PR 
- deletes the submodule PathNotations from uu0 and instead defines the notations directly where the corresponding constants are defined
- removes the imports of the deleted submodule PathNotations from files in RC and KT
- uses the path notations in statements of files uu0, hProp and hSet of Foundations