#KJ-31 eliminate elab() wrappers for 'NewInstance.  Fixed a bug related to lvalue('ArrayAccess())
tests: Corrected the documentation.