map_variables: detect a class of situations we can't handle and crash rather than compute the wrong result

map_variables: detect non_sequences in replacements inside Scan (and equivalently for OpFromGraph) and properly connect them through inner inputs

Implement batched_tensordot in terms of batched_dot

Delete old stuff

Nouiz mixed