Array.java: fixed annotations on getSequence now that it's refined on Array.ceylon
LazyIterable: override empty/size where possible #1661