proving that every restriction in Par splits, proved one of split laws, one more to go.
modified:   Categories.agda
modified:   RestrictionCat.agda
modified:   RestrictionPar.agda