Added discussion of conj, fixed a typo in macros
Almost done with the collection-specific functions, proof-read everything.