Some more stuff on countability.

Also, revised everything so far, made steps towards more
reasonable LaTeX code, added a file for bad prose and a file
for solutions to exercises.