managed to typecheck MonicClasses which we couldn't do before.
	modified:   Categories.agda
	modified:   Equality.agda
	modified:   MonicClasses.agda
	modified:   Pullbacks.agda
	modified:   PullbacksLemmas.agda
	modified:   Stable.agda