made RestrictionPar compile again
modified:   RestrictionPar.agda