Minor fix to ARRAY-SHIFT
Added typedefs, fixed FIRST-ELEMENT