In particular, document the new comprehensions and remove mentions of long integers. Fix a bunch of related things in the lib ref.