explain neutral terms and add a simple exercise#1021

nrnrnr wants to merge 2 commits intoplfa:devplfa/plfa.github.io:devfrom

nrnrnr:explain-neutral-termsnrnrnr/plfa.github.io:explain-neutral-termsCopy head branch name to clipboard