Java impl of Sequence: updated satisfied types according to Ceylon code
test sequences: disabled two lines because of ceylon/ceylon-compiler#953