Improved binary operations on Reference types (should stay as pointer types in IR for future precise garbage collection).