Reworked section on skolemization based on David Booth's feedback.

Related to #222.