Change order of arguments for paths and id
Change rules so that piClose and uClose can be understood as relations, if ever needed. Also some other minor corrections.
Added missing rules about names.
Universe indices on names for Paths and Id