Formally started a chapter on computation theory.

Minor fixes here and there.