Added WriteStr instruction (kill me)
Added type to arrFoldr function
Updated to work with new string format