some attempts to speed things up by moving lets into wheres...
	modified:   PastingLemmas.agda
	modified:   Pullbacks.agda
	modified:   PullbacksLemmas.agda