tools for data transformation array array tools intersection Transition represents []->[] transition processor