Several aliasing improvements to the language for future pedagogy

Documentation fixes are ready and pending merging of these changes.  All core tests pass.
Somewhat haphazard indentation - did you use tabs ?  Spaces produce more consistent results !
(In emacs, I would select the region and `M-x untabify` to convert all tabs to right amounts of space.)