Better documentation for sequence* and better intro