A principled rethinking of array languages like APL