Use the sequence_number class

The general idea here is to make an attempt at type safety for the
values stored in the SQL database.  Having a specific type for
sequence numbers allows me to differentiate them from other integers
(such as IMAP IDs and MH IDs).