Proved right identity of partial maps category and cleaned up pullbacks.
	modified:   Pullbacks.agda
	modified:   Stable.agda