Type.sml supports array types also wrote arraytest.pal