Add ReduceExpr to turn everything into tensors
Imports and simplifications seem to be working