further spring cleaning
modified:   Equality.agda
modified:   RestrictionCat.agda
modified:   Stable.agda