updated to new std-lib
Merge branch 'master' into quotients

Conflicts:
	Categories/Agda/ISetoids/Cocomplete/Helpers.agda
	Categories/Limit.agda