ASR: [BUG] Tuple/List Compare

[Smit-create]

% cat a.py
from ltypes import i32

def f():
    a: tuple[i32, i32]
    b: tuple[i32, i32]
    a = (1, 2)
    b = (1, 2)
    assert a == b
f()

LPython generates the ASR but looks incorrect:

(Assert 
                        (Var 2 b) 
                        ()
                    )

And, therefore it fails in the backend:

code generation error: asr_to_llvm: module failed verification. Error: 
Branch condition is not 'i1' type!
  br %tuple %16, label %then, label %else
  %16 = load %tuple, %tuple* %b, align 4

The same code works in CPython.

[Smit-create]

@certik I see that the Compare node was removed in this PR #566 and some other type-specific Compare nodes were introduced. What should be done in this case?