Add discussion of compactness maps, some other small fixes, add TODOs.