Fix ASSIGN_DIM result inference with typed refs

Same issue as with ASSIGN. Also make the handling for ASSIGN more
precise, we can only have conversions between scalar values.

Fix type inference and SCCP with typed references

We can't assume that the return value will be the same as the RHS
if typed references are involved.