add verified equal method for comparing lists which contain exactly 2 elements
add explaining comments
add fully verified equal implementation