Draft: Very preliminary version of a quick start guide for sets.

Open Robbert Krebbers requested to merge robbert/set_guide into master

Merge request reports