fix(basics): use simpler 'cases_on' recursor in "non-recursive" examples, and explain the idea behind it, closes #3