Add examples, highlighting behavior in presence of nesting.

[typesanitizer]

I've added some examples to show how things work, as I was initially puzzled by the action of some functions, as was wondering if I was missing something or whether the behavior was intended.

[fimad]

Looks good, thanks!