Load
Access memory, retrieving the value at some address.
(MEM::load addr mem)
load has a guard that requires (memory-p mem) and also requires
(address-p addr mem).
load looks up the current value stored at addr in mem and
returns that value to the user. This is analagous to nth, assoc,
aref1, and so forth. The implementation of load is private.
