Clarify Copyrights further.
Various enhancements to the base library.
Extra lemmas about equivalences.
Move lemmas to Equivalences.agda.

These lemmas are not using univalence.
Rename All.agda to index.agda and improve Makefile