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