Compile less OpDeref for any type

[antonmedv]

The amount of OpDeref produced by the compiler can be reduced by introducing intermediate types in binary nodes.
Examples of expressions can be found in #428, #427