Update lib-array.md

Author: andrew-johnson-4

lib-array.md

@@ -1,48 +1,56 @@
 
-### `[] : (Array<base-type,?>, U64) -> base-type`
+### `[] : (base-type[], U64) -> base-type`
 
-### `set[] : (Array<base-type,?>, U64, base-type) -> base-type`
+### `set[] : (base-type[], U64, base-type) -> base-type`
 
-### `+ : (Array<base-type,?>, U64) -> Array<base-type,?>`
+### `+ : (base-type[], U64) -> base-type[]`
 
 Pointer arithmetic.
 
-### `+ : (Array<base-type,?>, I64) -> Array<base-type,?>`
+### `+ : (base-type[], I64) -> base-type[]`
 
 Pointer arithmetic.
 
-### `== : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `== : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `!= : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `!= : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `< : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `< : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `<= : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `<= : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `> : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `> : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `>= : (Array<base-type,?>, Array<base-type,?>) -> Bool`
+### `>= : (base-type[], base-type[]) -> Bool`
 
 Pointers are have linear addresses.
 
-### `close : base-type -> Array<base-type,?>`
+### `close : base-type -> base-type[]`
 
 `close` tries to seal a value into a new indirect memory region.
 
-### `open : Array<base-type,?> -> base-type`
+### `open : base-type[] -> base-type`
 
 `open` tries to open a value from an indirect memory region.
 
 ### `open : base-type -> base-type`
 
 If a value is already directly accessible, then `open` is a noop.
+
+### `& : LocalVariable+base-type -> base-type[]`
+
+Local variables have logical addresses that can be referenced with `&`.
+
+### `& :GlobalVariable+base-type -> base-type[]`
+
+Global variables have logical addresses that can be referenced with `&`.