Minor simplifications
Added some tests for 3D arrays
'fun', 'expr' -> 'proc'
'args' -> 'arg-codes'
Removed redundant calls to set-live