mark sealed types
change tests because Sequence is now sealed