More sequence prelude and re-exports