length and is_empty functions for Sequence