Simplify narrowing and widening.
Implement reference narrowing.