Upcast hvec to ISeqable. Correct annotations for rest, last, butlast.  All test pass