Several aliasing improvements to the language for future pedagogy

Documentation fixes are ready and pending merging of these changes.  All core tests pass.
I believe the test system is now smart enough that you can leave out bundles that serve no purpose; so you can skip this init and the test below.  Likewise in at least one other test.