ALTER TABLE users
ADD COLUMN theme VARCHAR(5) NOT NULL DEFAULT 'dark',
ADD CONSTRAINT chk_users_theme CHECK (theme IN ('dark', 'light'));