Some little changes.
	modified:   Categories/Pullbacks.agda
	modified:   PartialMaps.agda
	modified:   RestrictionCat.agda
	modified:   Stable.agda
Merge branch 'master' of https://github.com/jmchapman/restriction-categories-irrelevant