Fix TensorRef details

Two main changes:

• Allow assigning expressions with different index types
• Enforce immutability for immutable referenced expressions.

The latter is consistent with Eigen::Ref.

Fixes #2884 (closed).