More motivating examples

[kozross]

While the motivating example of an integer set from #1 is certainly a good start, we ideally want at least one, preferably two, more, from other domains, which show the usefulness of logical ops.