Several aliasing improvements to the language for future pedagogy

Documentation fixes are ready and pending merging of these changes.  All core tests pass.