Several aliasing improvements to the language for future pedagogy

Documentation fixes are ready and pending merging of these changes.  All core tests pass.
Unused variable; may as well get rid of it - or, if it's serving some purpose I've not guessed at, add a comment saying what !